From 7fe8e1ffe0c35c9e4cf8cac1305500110c729ef8 Mon Sep 17 00:00:00 2001
From: rnhmjoj <rnhmjoj@inventati.org>
Date: Wed, 15 May 2019 18:12:14 +0200
Subject: [PATCH] generate a pdf

---
 example/.gitignore | 1 +
 example/Makefile   | 3 +++
 2 files changed, 4 insertions(+)

diff --git a/example/.gitignore b/example/.gitignore
index 076540c..3b5d32c 100644
--- a/example/.gitignore
+++ b/example/.gitignore
@@ -1,3 +1,4 @@
 pagenums
 MANIFEST
 code.ps
+code.pdf
diff --git a/example/Makefile b/example/Makefile
index 9156518..be398bc 100644
--- a/example/Makefile
+++ b/example/Makefile
@@ -7,6 +7,9 @@ MAKEMANIFEST = $(TOOLSDIR)/makemanifest
 PSGEN        = env BOOKROOT=$(BOOKROOT) $(TOOLSDIR)/psgen
 INCLUDERES   = (cd $(PSDIR); includeres)
 
+code.pdf: code.ps
+	ps2pdf code.ps
+
 code.ps pagenums: filelist footer.ps MANIFEST books
 	$(PSGEN) -P2 -l3 -DfooterFile=footer.ps filelist pagenums 1 \
 		| $(INCLUDERES) > code.ps