diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-11-06 17:54:03 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-11-06 17:55:39 +0100 |
| commit | 26e3ea2dd40e3ea62ed6cc3de97a9d4dc8cdda40 (patch) | |
| tree | 210fdfaa5b4acabec751434854cc13ae05d725d6 /man | |
| parent | c4ca5c9a5eef5e00971db60c21c33518876cd8ed (diff) | |
Do not autogenerate the content of the Manual view area
This is because the links in the TOC disturbed the GUI, and without
a TOC viewing the manual is pretty annoying.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions