diff options
| -rw-r--r-- | doc/manual/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index 8a9d22363..7a26f2670 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -24,6 +24,7 @@ devhelp: manual.xml devhelp.xsl xhtml.xsl $(srcdir)/xhtml.xsl \ $(srcdir)/manual.xml @cp $(srcdir)/default.css $@ + @touch $@ html: manual.xml xhtml.xsl @$(MKDIR_P) $@ @@ -34,6 +35,7 @@ html: manual.xml xhtml.xsl $(srcdir)/xhtml.xsl \ $(srcdir)/manual.xml @cp $(srcdir)/default.css $@ + @touch $@ mostlyclean-local: rm -rf devhelp |