diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index f8c874193..6788a1c84 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -31,4 +31,7 @@ extra_TEXINFOS = \ EXTRA_DIST = \ coding-style.txt \ $(man_MANS) \ - $(extra_TEXINFOS) + $(extra_TEXINFOS) \ + docstyle.css \ + brown-paper.css + |