diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/user/Makefile.am | 2 |
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 \ |