diff options
author | David Thompson <dthompson2@worcester.edu> | 2023-04-21 22:23:13 -0400 |
---|---|---|
committer | David Thompson <dthompson2@worcester.edu> | 2023-04-21 22:23:13 -0400 |
commit | 08283ce8448f9ebf6be28fecf8c730e9f99e3f47 (patch) | |
tree | de460786949318848d2b710e65f767ee3495d587 /Makefile.am | |
parent | b4daa495779da4cfc80f00a642648143cbf313b6 (diff) |
Add syntax highlighting to html manual.
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 && \ |