diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index ba5ac74..b593603 100644 --- a/Makefile.am +++ b/Makefile.am @@ -184,8 +184,8 @@ doc_chickadee_TEXINFOS = \ doc/fdl.texi \ doc/api.texi -AM_MAKEINFOHTMLFLAGS = --css-ref=https://dthompson.us/css/dthompson.css \ - --css-include=doc/manual.css +html-local: + $(GUILE) --no-auto-compile doc/build-html.scm publish: distcheck gpg --sign --detach-sign --armor --yes chickadee-$(VERSION).tar.gz && \ |