[vala: 3/3] manual: Update timestamps of directory-targets

[Rico Tzschichholz <ricotz src gnome org>]

commit 226f1a1b581eddbf1803a2f8fe04a08b846f5e4e
Author: Rico Tzschichholz <ricotz ubuntu com>
Date:   Tue Mar 7 18:23:50 2017 +0100

    manual: Update timestamps of directory-targets

 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 8a9d223..7a26f26 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