diff make/make.sh @ 28:35b3feac366a

Generate a better index for htmldocs: show document titles and both versions.
author Rob Landley <rob@landley.net>
date Thu, 16 Aug 2007 20:45:33 -0500
parents ba26365cf74f
children c91c3395876f
line wrap: on
line diff
--- a/make/make.sh	Wed Aug 15 02:10:33 2007 -0500
+++ b/make/make.sh	Thu Aug 16 20:45:33 2007 -0500
@@ -52,7 +52,18 @@
 mv xhtml-nochunks/*.html .
 rmdir xhtml-nochunks
 
-echo Install htmldocs
+echo Install htmldocs and update index
 rm -rf ~/www/kdocs/htmldocs
 cp -a ~/linux/temp/Documentation/DocBook ~/www/kdocs/htmldocs
+cd ~/www/kdocs/htmldocs
+head -n 2 index.html > index2.html
+echo "<ul>" >> index2.html
+for i in $(ls -p | sed -n 's@/$@@p')
+do
+  echo "<li>(<a href=\"$i\">chunks</a>) (<a href=\"${i}.html\">nochunks</a>) " >> index2.html
+  sed -nr 's@.*<title>(.*)</title>.*@\1@p' ${i}.xml | head -n 1 >> index2.html
+  echo "</li>" >> index2.html
+done
+echo "</ul>" >> index2.html
+mv index2.html index.html
 echo "Done with kdocs"