From 2c04501b870c87a4fc2facc39df003b984ef721e Mon Sep 17 00:00:00 2001 From: wcohen Date: Wed, 24 Mar 2010 21:04:57 +0000 Subject: [PATCH] Tweak the URL generated in index.html so browsers can find files with "::". --- man/REGEN.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/man/REGEN.sh b/man/REGEN.sh index 3c4f93a9..2b6720dc 100755 --- a/man/REGEN.sh +++ b/man/REGEN.sh @@ -28,7 +28,7 @@ do sed -e "s,$INSTTREE/,,g" | # get $prefix out of there cat > $htmlpage # echo " -> $htmlpage" - echo "
  • `basename $manpage`
  • " >> index.html + echo "
  • `basename $manpage`
  • " >> index.html done echo "" >> index.html -- 2.43.5