diff options
Diffstat (limited to 'stage/Makefile')
| -rw-r--r-- | stage/Makefile | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/stage/Makefile b/stage/Makefile index 3ddf3d6..ab2b98c 100644 --- a/stage/Makefile +++ b/stage/Makefile @@ -21,12 +21,14 @@ $(BUILD_DIR): %.ps: %.dvi $(DVIPS) -o $@ $< -%.pdf: %.ps - $(PS2PDF) $< $@ - %.dvi: %.tex $(LATEX) $< +%.pdf: %.ps + $(PS2PDF) $< + $(BUILD_DIR)/%.dvi: %.tex $(BUILD_DIR) $(LATEX) --output-directory=$(BUILD_DIR) $< + + |