diff options
| author | J. Bruce Fields <bfields@citi.umich.edu> | 2007-03-18 17:02:37 -0400 |
|---|---|---|
| committer | J. Bruce Fields <bfields@citi.umich.edu> | 2007-03-18 23:06:00 -0400 |
| commit | f562e6f3169f652dd9e840286e43d9e8ca45cf14 (patch) | |
| tree | dfa6328c8c9296b5f8d76348f350fb452a08341a /Documentation/user-manual.txt | |
| parent | 06e7ea37875e4ee4a0ada701d52e2466f344c0f3 (diff) | |
| download | git-f562e6f3169f652dd9e840286e43d9e8ca45cf14.tar.gz | |
glossary: stop generating automatically
The sort_glossary.pl script sorts the glossary, checks for duplicates,
and automatically adds cross-references.
But it's not so hard to do all that by hand, and sometimes the automatic
cross-references are a little wrong; so let's run the script one last
time and check in its output.
Note: to make the output fit better into the user manual I also deleted
the acknowledgements at the end, which was maybe a little rude; feel
free to object and I can find a different solution.
Cc: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: "J. Bruce Fields" <bfields@citi.umich.edu>
Diffstat (limited to 'Documentation/user-manual.txt')
| -rw-r--r-- | Documentation/user-manual.txt | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index 773f65ef83..6df5e617a5 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt @@ -3013,9 +3013,6 @@ confusing and scary messages, but it won't actually do anything bad. In contrast, running "git prune" while somebody is actively changing the repository is a *BAD* idea). -Glossary of git terms -===================== - include::glossary.txt[] Notes and todo list for this manual |