diff options
Diffstat (limited to 'winsup/doc/Makefile.in')
| -rw-r--r-- | winsup/doc/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/winsup/doc/Makefile.in b/winsup/doc/Makefile.in index 28c8490e7..e96c9e928 100644 --- a/winsup/doc/Makefile.in +++ b/winsup/doc/Makefile.in @@ -111,7 +111,8 @@ faq0.html: $(srcdir)/faq.texinfo $(srcdir)/*.texinfo -e 's?\([.+a-zA-Z0-9-]*@@[.a-zA-Z0-9-]*[a-zA-Z0-9]\)?<A HREF="mailto:\1">\1</A>?' >./`basename $$i` ; done; \ $(TEXI2HTML) -monolithic ./faq.texinfo; \ rm -f *.texinfo; \ - [ -r faq.html ] && mv faq.html faq0.html; exit 0 + sed -e 's;faq.html;faq0.html;g' faq.html > faq0.html; \ + rm -f faq.html; exit 0 faq.html: $(srcdir)/faq.texinfo $(srcdir)/*.texinfo -rm -f faq_toc.html; \ |