From: Wolfgang Bangerth Date: Mon, 2 Oct 2000 13:46:09 +0000 (+0000) Subject: More post-fixes to strip long path names. X-Git-Tag: v8.0.0~20058 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=951b8db316931aed29969e72534e41eb26441d86;p=dealii.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 <)$D/?[^/]+/include/,$$1,g;' "$$htmlfile" ;\ + perl -pi -e 's,(#include <)$D/?[^/]+/include/,$$1,g; \ + s,

Source: $D/?(.*)

,

Source: $$1

,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..." ; \