summaryrefslogtreecommitdiff
path: root/doc/user
diff options
context:
space:
mode:
authorLudovic Courtès2008-12-23 01:59:56 +0100
committerLudovic Courtès2008-12-23 01:59:56 +0100
commit1b75ab909106ae2bf9ee9dae564324da73c6d42c (patch)
tree6e40cef9b77a37a07d233c80a13e366f908ec3c8 /doc/user
parent3d0850364eb2099ff7f047642ae1c48e82cfb1a7 (diff)
downloadskribilo-1b75ab909106ae2bf9ee9dae564324da73c6d42c.tar.gz
skribilo-1b75ab909106ae2bf9ee9dae564324da73c6d42c.tar.lz
skribilo-1b75ab909106ae2bf9ee9dae564324da73c6d42c.zip
Make `distcheck' happy.
* doc/user/Makefile.am (CLEANFILES): Add `skribilo.info'.
Diffstat (limited to 'doc/user')
-rw-r--r--doc/user/Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/Makefile.am b/doc/user/Makefile.am
index 1fcd354..d906db3 100644
--- a/doc/user/Makefile.am
+++ b/doc/user/Makefile.am
@@ -32,7 +32,7 @@ skrinfo_DATA = skribilo.info
html_DATA = user.html user.sui
dist_html_DATA = skribilo.css
BUILT_SOURCES = lout/front-page.lout
-CLEANFILES = $(BUILT_SOURCES) $(html_DATA)
+CLEANFILES = $(BUILT_SOURCES) $(html_DATA) skribilo.info
skribilo = $(top_builddir)/src/pre-inst-skribilo
skrflags = -I $(srcdir) -P $(top_srcdir)/doc/img \