Skip to content
Snippets Groups Projects
Commit 72ad5fe1 authored by Peter Eisentraut's avatar Peter Eisentraut
Browse files

Add `id' attributes to all `chapter' and `sect1' tags, to generate useful

names for the HTML files (e.g., not x4856.htm).
parent 3a94e789
No related branches found
No related tags found
Loading
Showing
with 96 additions and 97 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment