diff options
Diffstat (limited to 'design/Makefile')
| -rw-r--r-- | design/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/design/Makefile b/design/Makefile index 15b078a..887e16f 100644 --- a/design/Makefile +++ b/design/Makefile @@ -4,7 +4,7 @@ FLAGS=-halt-on-error -file-line-error -c-style-errors #PNGs := $(patsubst %.png,%.eps, $(wildcard *.png)) JPGs := $(patsubst %.jpg,%.eps, $(wildcard *.jpg)) FIGs := $(patsubst %.fig,%.eps, $(wildcard *.fig)) -TEXs := *.tex #$(patsubst %.fig,%.eps, $(wildcard *.fig)) +TEXs := *.tex widgets/*.tex #$(patsubst %.fig,%.eps, $(wildcard *.fig)) .PHONY =dvi ps pdf mpost clean cleanall all: dvi ps pdf @@ -20,8 +20,8 @@ $(TARGET).dvi: $(JPGs) $(FIGs) $(TEXs) $(TARGET).ps: $(TARGET).dvi dvips -t a4 $(TARGET).dvi -o -$(TARGET).pdf: $(TARGET).ps -# ps2pdf14 $(TARGET).ps $(TARGET).pdf +$(TARGET).pdf: $(JPGs) $(FIGs) $(TEXs) + pdflatex $(FLAGS) -jobname $(TARGET) $(SOURCE) pdflatex $(FLAGS) -jobname $(TARGET) $(SOURCE) clean: |