diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-10-14 11:37:03 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-10-14 11:37:03 +0200 |
| commit | 6dbbd36a817cd0818f3de41eea96ad1e33d3ab6c (patch) | |
| tree | 768d229ceb655b5bf718b403cff650d95f7470e5 /doc | |
| parent | b5f5956ee23a40a8bde6b1a9622d201501cad816 (diff) | |
add CSS to dist
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 + |