diff options
author | deva <deva> | 2009-02-12 15:29:50 +0000 |
---|---|---|
committer | deva <deva> | 2009-02-12 15:29:50 +0000 |
commit | 4137259fa6071d2790173f7935f06465df324264 (patch) | |
tree | 5de78862f2aac9a3b409a90e6f4688a1cf477e23 /design/Makefile | |
parent | 34d22d96cb464feef49bb126dafa59bdf8502d94 (diff) |
Lots of changes in the widget documentation...
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: |