From: wolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Mon, 2 Oct 2000 13:46:09 +0000 (+0000)
Subject: More post-fixes to strip long path names.
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9010149ba31c5d0bacf8122fecc965518d5e2e48;p=dealii-svn.git

More post-fixes to strip long path names.


git-svn-id: https://svn.dealii.org/trunk@3373 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/doc/auto/kdoc/Makefile.in b/deal.II/doc/auto/kdoc/Makefile.in
index 391c05cb93..e7d0998f61 100644
--- a/deal.II/doc/auto/kdoc/Makefile.in
+++ b/deal.II/doc/auto/kdoc/Makefile.in
@@ -95,7 +95,8 @@ multigrid-html-files: kdoc-installed $(kdoc.multigrid)
 %-fix-files:
 	for htmlfile in $(subst -fix-files,,$@)/*html ; do \
 	    echo "Fixing include paths in $$htmlfile..." ; \
-	    perl -pi -e 's,(#include &lt;<A HREF=\"[^\"]+\">)$D/?[^/]+/include/,$$1,g;' "$$htmlfile" ;\
+	    perl -pi -e 's,(#include &lt;<A HREF=\"[^\"]+\">)$D/?[^/]+/include/,$$1,g; \
+                         s,<h1>Source: $D/?(.*)</h1>,<h1>Source: $$1</h1>,g;' "$$htmlfile" ;\
 	done
 	for htmlfile in $(subst -fix-files,,$@)/header-list.html $(subst -fix-files,,$@)/all-globals.html ; do \
 	    echo "Fixing include paths in special file $$htmlfile..." ; \