diff --git a/docs/latex/wx/Makefile b/docs/latex/wx/Makefile new file mode 100644 index 0000000000..9c680d3744 --- /dev/null +++ b/docs/latex/wx/Makefile @@ -0,0 +1,28 @@ +FIGS_GIF = \ + sizer00.gif sizer01.gif sizer02.gif sizer03.gif sizer04.gif \ + sizer05.gif sizer06.gif sizer07.gif sizer08.gif sizer09.gif \ + sizer10.gif sizer11.gif + +FIGS_EPS = $(FIGS_GIF:.gif=.eps) +LATEX = hugelatex +MAKEINDEX = makeindex +DVIPS = dvips + +all: manual.ps + +manual.ps: manual.dvi + $(DVIPS) $< -o $@ + +manual.dvi: manual.tex $(FIGS_EPS) + $(LATEX) manual.tex + $(MAKEINDEX) -s manual.ist manual + $(LATEX) manual.tex + $(MAKEINDEX) -s manual.ist manual + $(LATEX) manual.tex + + +$(FIGS_EPS): %.eps : %.gif + giftopnm $< | pnmtops -noturn > $@ + +clean: + -rm -f *.dvi *.aux *.idx *.ilg *.ind *.log *.toc $(FIGS_EPS) *~ \ No newline at end of file diff --git a/docs/latex/wx/ltx.tex b/docs/latex/wx/ltx.tex new file mode 100644 index 0000000000..89ac57621e --- /dev/null +++ b/docs/latex/wx/ltx.tex @@ -0,0 +1 @@ +\newcommand{\gifsep}{\hspace{1cm}} \ No newline at end of file diff --git a/docs/latex/wx/manual.ist b/docs/latex/wx/manual.ist new file mode 100644 index 0000000000..0661a63483 --- /dev/null +++ b/docs/latex/wx/manual.ist @@ -0,0 +1 @@ +level '|'