TEXT   67

makefile

Guest on 10th May 2022 01:54:54 AM

  1. # Last edited on 2022-02-04 13:39:45 by stolfi
  2.  
  3. JOBNAME := 2005-08-25-disc-deps
  4. INPDIR := ${STOLFIHOME}/tex/inputs
  5. PUBDIR := ${STOLFIHOME}/bureau/PUB
  6.  
  7. EXT     := tex
  8. SIZE    := letter
  9.  
  10. all: ${JOBNAME}.ps show-ps show-pdf install
  11.  
  12. FIGURES :=
  13.  
  14. TEXMAC := \
  15.   ${INPDIR}/stolfi-letter-data.tex \
  16.   ${INPDIR}/ic-letter-macros.tex \
  17.   macros-bureau.tex
  18.  
  19. SHOWDVI := \
  20.   xdvi
  21.  
  22. SHOWPS := \
  23.   gv
  24.  
  25. SHOWPDF := \
  26.   acroread
  27.  
  28. .PHONY: display
  29.  
  30. .SUFFIXES:
  31. .SUFFIXES: .iso .tex .dvi .ps
  32.  
  33. NEWTEX := \
  34.   TEXINPUTS=".:${STOLFIHOME}/tex/inputs/::"; export TEXINPUTS
  35.  
  36. ${JOBNAME}.ps: makefile ${JOBNAME}.${EXT} ${TEXMAC} ${FIGURES}
  37.         ${NEWTEX}; \
  38.         if [ ! -r ${JOBNAME}.aux ]; then touch ${JOBNAME}.aux; fi; \
  39.         echo XXX > ${JOBNAME}.aux~; \
  40.         until cmp -s ${JOBNAME}.aux ${JOBNAME}.aux~; do \
  41.           cp -p ${JOBNAME}.aux ${JOBNAME}.aux~ ;\
  42.           latex ${JOBNAME}.${EXT} | tex-error-filter ; \
  43.         done; \
  44.         dvips -D 600 -t ${SIZE} -o ${JOBNAME}.ps  ${JOBNAME}
  45.  
  46. ${JOBNAME}.pdf: ${JOBNAME}.ps
  47.         ps2pdf ${JOBNAME}.ps > ${JOBNAME}.pdf
  48.  
  49. show-ps: ${JOBNAME}.ps
  50.         ${SHOWPS} ${JOBNAME}.ps
  51.  
  52. show-pdf: ${JOBNAME}.pdf
  53.         ${SHOWPDF} ${JOBNAME}.pdf
  54.  
  55. error:
  56.         @ echo "make what?"
  57.  
  58. install:
  59.         cp -av ${JOBNAME}.ps ${JOBNAME}.pdf ${JOBNAME}.tex ${PUBDIR}

Raw Paste


Login or Register to edit or fork this paste. It's free.