]> git.donarmstrong.com Git - lilypond.git/commit
texi2html: Script to generate the nodename<=>filename/anchor map for texi2html
authorReinhold Kainhofer <reinhold@kainhofer.com>
Sat, 19 Jul 2008 18:26:11 +0000 (20:26 +0200)
committerReinhold Kainhofer <reinhold@kainhofer.com>
Sat, 19 Jul 2008 18:26:11 +0000 (20:26 +0200)
commite4a9a3bd400466c26336385bb7e0af09fca66db1
tree4332e7f523969a39cc23c22e6323e9ac44a37685
parent1ce5e85efda360c05b7db51cb1772fccce4e582c
texi2html: Script to generate the nodename<=>filename/anchor map for texi2html

This script produces the (tab-separated) nodename<=>filename map (in
the file basename_xref.map), which is then used by texi2html. It is
not yet included in any makefile and the texi2html init script does
not make use of these maps yet, either.
buildscripts/extract_texi_filenames.py [new file with mode: 0755]