Adriaan van Os a écrit:
Maurice Lombardi wrote:
Adriaan van Os a écrit:
Frank Heckenbach wrote:
Adriaan van Os wrote:
By the way, I didn't manage to build the html version of the manual, because the entry for 'Index' creates an index.html file, which conflicts with the usual index.html file.
Which version of makeinfo do you have? AFAIR, they changed the file layout. Before I look closer, let's see if it's that.
[G5:/CW] adriaan% makeinfo --version makeinfo (GNU texinfo) 4.8
Same problem with djgpp since a long time. Here it is due to the fact that the file system is case insensitive. There are two files index.html and Index.html I use a work around for my personal use (generating index and index_) But a true fix for all systems would be certainly better. The same arises with pi and Pi
Retried it now with makeinfo 4.8 (and Apple HFS is case-insensitive also). I get a file "Index_002dGPC.html" and a file "index.html"). Hitting the Top link in a browser moves me to the wrong place.
This is what I have done until now: _download_ the manual files (.tar.bz2) from the web site looking inside it has two files index.html and Index.html (and also pi.html and Pi.html) using a script (below) to extract both, change the name(s) and correct the html files. This is a dirty trick, I agree, and a true fix would be welcomed.
Maurice
---------------------------------------------------------- #! /bin/sh cd /dev/env/DJDIR/doc/gpc rm -f *.html rm -f gpc/*.* tar xf "$1" --use=bzip2 mv gpc/index.html gpc/Index_.html mv gpc/pi.html gpc/Pi_.html tar xf "$1" --use=bzip2 gpc/index.html gpc/pi.html cd gpc for fil in *.html; do echo $fil cat ./$fil | sed -e 's|Index.html|Index_.html|g' -e 's|Pi.html|Pi_.html|g' > $fil.new mv -f ./$fil.new ./$fil done ----------------------------------------------------------------