diff options
| author | David Thompson <dthompson2@worcester.edu> | 2015-12-06 12:21:21 -0500 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2015-12-06 12:21:21 -0500 |
| commit | b4778239643436b21f6cf513d0ad58e0d5aafdde (patch) | |
| tree | 950c5824bae9e1518a5399f2f3f71687158db59f | |
| parent | e867118e507d5bc7707f1896a5a3072ca58ab3fb (diff) | |
build: Don't build dvi docs.
| -rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 61fd7b2..4d49aba 100644 --- a/Makefile.am +++ b/Makefile.am @@ -81,6 +81,7 @@ AM_SCM_LOG_FLAGS = --no-auto-compile -L "$(top_srcdir)" info_TEXINFOS = doc/haunt.texi doc_haunt_TEXINFOS = doc/fdl-1.3.texi +dvi: # Don't build dvi docs EXTRA_DIST += \ pre-inst-env.in \ |