[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

(Slightly) broken html doc

From: Akim Demaille
Subject: (Slightly) broken html doc
Date: Fri, 14 Sep 2018 06:34:19 +0200


You might already know this, but 
https://www.gnu.org/software/gnulib/manual/html_node/index.html shows the 
documentation of the ‘index’ module at its bottom.  It smells like a problem in 
makeinfo.  The page was used with Texinfo 6.3.  I tried to reproduce it with 
Texinfo 6.5, but then the index.html I get is really the index, not the front 
page of the documentation.

I had run

$    make updated-stamp
$ ../build-aux/gendocs.sh \
     -I ../build-aux \
     --email address@hidden \
     -o "/tmp/manual" \
     gnulib "The GNU Portability Library"


reply via email to

[Prev in Thread] Current Thread [Next in Thread]