diff options
Diffstat (limited to 'doc/user/Makefile.am')
| -rw-r--r-- | doc/user/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/user/Makefile.am b/doc/user/Makefile.am index d71c5a4..4f0e16f 100644 --- a/doc/user/Makefile.am +++ b/doc/user/Makefile.am @@ -25,6 +25,7 @@ EXTRA_DIST += src/api1.skb \ BUILT_SOURCES = doc-config.scm html_DATA = user.html +dist_html_DATA = skribilo.css CLEANFILES = $(BUILT_SOURCES) $(html_DATA) skribilo = $(top_builddir)/src/pre-inst-skribilo |