Makefile 1.2 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061
  1. FILTER = ./filter-doc.plx
  2. PDFLATEX = pdflatex
  3. LATEX = latex
  4. #BIBTEX = bibtex
  5. BIBTEX = /bin/true
  6. FIG2DEV = fig2dev
  7. DVIPS=dvips
  8. all: gpl-lgpl.pdf gpl-lgpl.ps
  9. .SUFFIXES: .fig .postscript .eps .pdf .pstex_t .pstex
  10. .postscript.pdf:
  11. ps2pdf $< $@
  12. .postscript.eps:
  13. ps2epsi $< $@
  14. .fig.pdf:
  15. $(FIG2DEV) -L pdf -p "portrait" -c $< > $@
  16. .fig.pstex_t:
  17. $(FIG2DEV) -L pstex_t $< > $@
  18. .fig.pstex:
  19. $(FIG2DEV) -L pstex $< > $@
  20. PDF_FIGS =
  21. gpl-lgpl.pdf: gpl-lgpl-pdf.tex gpl-lgpl-pdf.bbl $(PDF_FIGS)
  22. $(PDFLATEX) gpl-lgpl-pdf
  23. $(PDFLATEX) gpl-lgpl-pdf
  24. /bin/mv gpl-lgpl-pdf.pdf gpl-lgpl.pdf
  25. gpl-lgpl-pdf.tex: gpl-lgpl.tex
  26. cat gpl-lgpl.tex | $(FILTER) PDF > gpl-lgpl-pdf.tex
  27. gpl-lgpl-pdf.bbl: gpl-lgpl-pdf.tex $(PDF_FIGS)
  28. $(PDFLATEX) gpl-lgpl-pdf
  29. $(BIBTEX) gpl-lgpl-pdf
  30. PS_FIGS =
  31. gpl-lgpl-ps.tex: gpl-lgpl.tex
  32. cat gpl-lgpl.tex | $(FILTER) PS > gpl-lgpl-ps.tex
  33. gpl-lgpl-ps.bbl: gpl-lgpl-ps.tex $(PS_FIGS)
  34. $(LATEX) gpl-lgpl-ps
  35. $(BIBTEX) gpl-lgpl-ps
  36. gpl-lgpl-ps.dvi: gpl-lgpl-ps.tex gpl-lgpl-ps.bbl $(PS_FIGS)
  37. $(LATEX) gpl-lgpl-ps
  38. $(LATEX) gpl-lgpl-ps
  39. gpl-lgpl.ps: gpl-lgpl-ps.dvi
  40. $(DVIPS) $< -o $@
  41. clean:
  42. /bin/rm -f gpl-lgpl-ps.* gpl-lgpl-pdf.* gpl-lgpl.pdf gpl-lgpl.ps $(PDF_FIGS) $(PS_FIGS) gpl-lgpl.log texput.log