diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 51559266..fdfea961 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -9,6 +9,8 @@ arch.pdf: arch.dot arch.jpg: arch.dot dot -Tjpg arch.dot > arch.jpg +AM_MAKEINFOHTMLFLAGS = --no-split --css-ref=docstyle.css --css-ref=brown-paper.css + info_TEXINFOS = manual.texi manual_TEXINFOS = version.texi @@ -16,4 +18,6 @@ EXTRA_DIST = \ arch.dot \ lgpl.texi \ agpl.texi \ - fdl-1.3.texi + fdl-1.3.texi \ + docstyle.css \ + brown-paper.css |