Makefile

dlp · May 22, 2019 · fd35953 · fd35953
1 parent 50300ee
commit fd35953
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/.hgignore b/.hgignore
@@ -0,0 +1,3 @@
+syntax: glob
+
+*.pdf
diff --git a/Makefile b/Makefile
@@ -2,17 +2,18 @@
 SHELL := /bin/bash
 
 PS2PDF := ps2pdf -dNOSAFER -sPAPERSIZE=a4 -dEmbedAllFonts=true
+DEFINES := -Dseed=$${SEED:-$$RANDOM}
 
 .PHONY: all clean
 
 all:
 	@echo "Run 'make filename.pdf' to deploy"
 
 %.show: %.ps
-	gs -Dseed=$${SEED:-$$RANDOM} $<
+	gs $(DEFINES) $<
 
 %.pdf: %.ps
-	$(PS2PDF) $< $@
+	$(PS2PDF) $(DEFINES) $< $@
 
 clean:
 	rm -f *.pdf
diff --git a/ellers.ps b/ellers.ps