diff options
author | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2013-07-23 23:06:16 +0200 |
---|---|---|
committer | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2013-07-23 23:06:16 +0200 |
commit | 3ebfbeb6b89a7fb1094e2e8abeedc26bb55a35bb (patch) | |
tree | 1140d998dd776605b9cb9eb28dbfc86140fa521b /Makefile.am | |
parent | 6e751b3730634addd072b32198cd07001c91f3d7 (diff) | |
download | gnutls-3ebfbeb6b89a7fb1094e2e8abeedc26bb55a35bb.tar.gz |
make sure that the .info files are as new as the pdfs and html.
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index e42447e44f..05d7dc452c 100644 --- a/Makefile.am +++ b/Makefile.am @@ -60,4 +60,4 @@ dist-hook: mv -f *.1 ../doc/manpages/; \ done sed 's/\@\@VERSION\@\@/$(VERSION)/g' -i $(distdir)/doc/invoke-*.texi - touch $(distdir)/doc/*.html $(distdir)/doc/*.pdf + touch $(distdir)/doc/*.html $(distdir)/doc/*.pdf $(distdir)/doc/*.info |