diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 05d7dc452c..2e43109687 100644 --- a/Makefile.am +++ b/Makefile.am @@ -53,6 +53,7 @@ dist-hook: cd $(distdir)/src/ && for i in *.def;do \ if test x"$$i" = x"args-std.def";then continue; fi; \ autogen $$i; \ + touch $$i; \ cp $$i $$i.tmp; \ sed -i 's/@subheading \(.*\)/@*\n@var{\1}\n@*/' $$i.tmp; \ autogen -Tagman-cmd.tpl $$i.tmp; \ |