summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Thompson <dthompson2@worcester.edu>2017-01-23 21:50:10 -0500
committerDavid Thompson <dthompson2@worcester.edu>2017-01-23 21:50:10 -0500
commit8a8dd25c3710d3d57cdb7beabc330de86beb413b (patch)
treea74f59a550cc6e94d086f740acaae82b82a95be5
parent0c4b89bb081484bb541eaef6e84e1dacf4963f6d (diff)
Don't build dvi docs.
-rw-r--r--Makefile.am2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am
index c9a563e..7522556 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -67,3 +67,5 @@ chickadee_TEXINFOS = \
doc/fdl.texi \
doc/api.texi \
doc/chickadee.texi
+
+dvi: # Don't build dvi docs