Menu

Commit [r1351]  Maximize  Restore  History

Some ID renaming work.

* tools/chunk-stylesheet.xsl: Turn on "use.id.as.filename".
* tools/idsub.py: New, a little script to crudely substitute ids.
* en/ID-REMAP: Catch up with ID changes following the merge of "1.2-work",
plus fix up now I realize that '+' is not a valid id character.

maxb 2005-05-25

changed /trunk/src/en/ID-REMAP
changed /trunk/src/tools/chunk-stylesheet.xsl
added /trunk/src/tools/idsub.py
/trunk/src/en/ID-REMAP Diff Switch to side-by-side view
Loading...
/trunk/src/tools/chunk-stylesheet.xsl Diff Switch to side-by-side view
Loading...
/trunk/src/tools/idsub.py Diff Switch to side-by-side view
Loading...
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.