manual: Update timestamps of directory-targets

diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am
index 8a9d22363f4863967f7e9b95ca795ddf8cc24ff8..7a26f26706fc9e6465e4848a1fe5967682df6c37 100644 (file)
--- 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