Merge branch 'lilypond/translation' of ssh://jomand@git.sv.gnu.org/srv/git/lilypond

[lilypond.git] / buildscripts / install-info-html.sh
diff --git a/buildscripts/install-info-html.sh b/buildscripts/install-info-html.sh

index f4df714b76864eae08bff500c9ed32f0db43ed8e..a116cd93d0a748e1061f5a8d0f1df6d59f2231fb 100644 (file)
--- a/buildscripts/install-info-html.sh
+++ b/buildscripts/install-info-html.sh
@@ -134,17 +134,18 @@ cat >> $index_file <<EOF
  <title>Info documentation index</title>
  <body>
  <h1>Info documentation index</h1>
+<p>
  This is the directory file \`index.html' a.k.a. \`DIR', which contains the
  topmost node of the HTML Info hierarchy.
-<p>
-This is all very much Work in Progress (WiP).
-<p>
+</p>
  <ul>
  EOF
  
  #list
  for i in $document_dirs; do
-       echo "<li> <a href=$i/$i.html>$i</a>"
+    cat <<EOF
+<li> <a href="$i/index.html">$i</a> (<a href="$i.html">$i as one big page</a>)</li>
+EOF
  done >> $index_file
  
  # foot