diff options
author | Rico Tzschichholz <ricotz@ubuntu.com> | 2017-03-07 18:23:50 +0100 |
---|---|---|
committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2017-03-16 08:02:46 +0100 |
commit | 36e8a8ef05046217668a425907a6f5db96339772 (patch) | |
tree | af42e8bdd03d0b660d42a5e50537e2bc0e5e78dc | |
parent | d01f2fb6bd617247893cd9f913aa8567a92a4c3d (diff) | |
download | vala-36e8a8ef05046217668a425907a6f5db96339772.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 |