diff options
author | J. Bruce Fields <bfields@citi.umich.edu> | 2007-04-18 00:46:19 -0400 |
---|---|---|
committer | J. Bruce Fields <bfields@citi.umich.edu> | 2007-05-07 01:03:52 -0400 |
commit | e34caace588612e9bc492aa9188390de42546aad (patch) | |
tree | 711ec0e24f9e3f9018fdc0db955a2020c7edd1a5 /t/t4101/diff.1-3 | |
parent | user-manual: more discussion of detached heads, fix typos (diff) | |
download | tgif-e34caace588612e9bc492aa9188390de42546aad.tar.xz |
user-manual: add section ID's
Any section lacking an id gets an annoying warning when you build
the manual. More seriously, the table of contents then generates
volatile id's which change with every build, with the effect that
we get URL's that change all the time.
The ID's are manually generated and sometimes inconsistent, but
that's OK.
XXX: what to do about the preface?
Signed-off-by: "J. Bruce Fields" <bfields@citi.umich.edu>
Diffstat (limited to 't/t4101/diff.1-3')
0 files changed, 0 insertions, 0 deletions