From d7a0783a482c188da6b26559933b60ac9630e422 Mon Sep 17 00:00:00 2001 From: janneke Date: Sat, 2 Apr 2005 07:39:13 +0000 Subject: [PATCH] (index_file): Fix link. --- ChangeLog | 4 ++++ buildscripts/install-info-html.sh | 9 +++++---- 2 files changed, 9 insertions(+), 4 deletions(-) diff --git a/ChangeLog b/ChangeLog index f3416bb081..913ba6ef83 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2005-04-02 Jan Nieuwenhuizen + + * buildscripts/install-info-html.sh (index_file): Fix link. + 2005-04-01 Jan Nieuwenhuizen * input/test/dynamic-extra.ly (piuf): Use utf-8 iso TeX accent. diff --git a/buildscripts/install-info-html.sh b/buildscripts/install-info-html.sh index f4df714b76..a116cd93d0 100644 --- a/buildscripts/install-info-html.sh +++ b/buildscripts/install-info-html.sh @@ -134,17 +134,18 @@ cat >> $index_file <Info documentation index

Info documentation index

+

This is the directory file \`index.html' a.k.a. \`DIR', which contains the topmost node of the HTML Info hierarchy. -

-This is all very much Work in Progress (WiP). -

+

    EOF #list for i in $document_dirs; do - echo "
  • $i" + cat < $i ($i as one big page)
  • +EOF done >> $index_file # foot -- 2.39.5