user-manual: Provide more sections with ids
authorFabian Keil <fk@fabiankeil.de>
Fri, 4 Mar 2016 13:21:54 +0000 (13:21 +0000)
committerFabian Keil <fk@fabiankeil.de>
Fri, 4 Mar 2016 13:21:54 +0000 (13:21 +0000)
commit9448b3b6afaaa1ba52b6dd0995052ace74415798
treeb922f0d477c49d0421e56abcd78fc3fe85bacf7a
parent187617f811dd51c930b8bf338c0df6d6536a869a
user-manual: Provide more sections with ids

Reduces the diff noice when regenerating documentation
and results in more stable URLs.
doc/source/user-manual.sgml