diff options
author | Rico Tzschichholz <ricotz@ubuntu.com> | 2017-03-07 18:23:50 +0100 |
---|---|---|
committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2017-03-07 18:23:50 +0100 |
commit | 226f1a1b581eddbf1803a2f8fe04a08b846f5e4e (patch) | |
tree | 3b69f7db23ea42ec04c8f9711f95bfa7d4e9fc5e | |
parent | b5ae45ed77c7eb5d93c04bb16828ab164859f498 (diff) | |
download | vala-226f1a1b581eddbf1803a2f8fe04a08b846f5e4e.tar.gz |
manual: Update timestamps of directory-targets
-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 |