summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorAdrian Thurston <thurston@colm.net>2019-09-19 20:00:30 -0600
committerAdrian Thurston <thurston@colm.net>2019-09-19 20:00:30 -0600
commit9d45f0d47982d83141763a9728a4f97d6a06bacd (patch)
tree3ad6276fbdf67ccb5499c396bb6ef2769f5a1d74 /doc
parentf625a8d45a2def866607b3f8903aa8c31f43f834 (diff)
downloadcolm-9d45f0d47982d83141763a9728a4f97d6a06bacd.tar.gz
include the pdf in built targets
Diffstat (limited to 'doc')
-rw-r--r--doc/ragel/Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ragel/Makefile.am b/doc/ragel/Makefile.am
index 926dfe27..5609b4aa 100644
--- a/doc/ragel/Makefile.am
+++ b/doc/ragel/Makefile.am
@@ -37,7 +37,7 @@ ragel.1: ragel.1.in
if BUILD_MANUAL
-doc_DATA = ragel-guide.html
+doc_DATA = ragel-guide.html ragel-guide.pdf
.fig.png:
fig2dev -L png -S 4 $< $@