diff options
| author | David Thompson <dthompson2@worcester.edu> | 2023-05-24 07:33:22 -0400 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2023-05-24 07:33:22 -0400 |
| commit | 915836a8fdde35ef3b4dd24ba3387467f7bce5b1 (patch) | |
| tree | 4b41be7d558e6c321e27d8a76ea680681bc36546 | |
| parent | de760349fae3c6502267aaf00057be70455847bb (diff) | |
Don't build dvi docs.
| -rw-r--r-- | Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 00162a3..7b38f9d 100644 --- a/Makefile.am +++ b/Makefile.am @@ -183,6 +183,9 @@ doc_chickadee_TEXINFOS = \ doc/apache-2.0.texi \ doc/api.texi +# Don't build dvi docs. +dvi: + html-local: $(GUILE) --no-auto-compile doc/build-html.scm |