diff options
Diffstat (limited to 'macros/latex/contrib/pdfpagediff/doc/Makefile')
-rw-r--r-- | macros/latex/contrib/pdfpagediff/doc/Makefile | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/macros/latex/contrib/pdfpagediff/doc/Makefile b/macros/latex/contrib/pdfpagediff/doc/Makefile new file mode 100644 index 0000000000..84aaa5a4b2 --- /dev/null +++ b/macros/latex/contrib/pdfpagediff/doc/Makefile @@ -0,0 +1,42 @@ +## +## Makefile +## +## +## +## +## + +file=pdfpagediff-doc + + +all: pdf out + make pdf + +out: + if [ -f $(file).out ] ; then cp $(file).out tmp.out; fi ; + sed 's/BOOKMARK/dtxmark/g;' tmp.out > x.out; mv x.out tmp.out ; + +pdf: + pdflatex $(file).tex + +index: + makeindex -s gind.ist -o $(file).ind $(file).idx + +changes: + makeindex -s gglo.ist -o $(file).gls $(file).glo + +xview: + xpdf -z 200 $(file).pdf &>/dev/null + +view: + acroread $(file).pdf + +ins: + latex $(file).ins + +diff: + diff $(file).sty ../$(file).sty |less + +copy: + cp $(file).sty ../ + |