manual: do not track generated files

Since there is no need  to edit the generated list, we don't need
to keep these files under git control, so:
* remove existing lists
* add the 3 generated lists to .gitignore

Signed-off-by: Samuel Martin <s.martin49@gmail.com>

---
This patch supersedes the patches 6/7 and 7/7 of the recently posted
series reworking the manual.