build: generate man page list from source files, not conf.py
authorJani Nikula <jani@nikula.org>
Sat, 5 Nov 2016 20:18:17 +0000 (22:18 +0200)
committerDavid Bremner <david@tethera.net>
Thu, 17 Nov 2016 12:41:24 +0000 (08:41 -0400)
commit76ab6e99625468b011723a6bd9d84be5fab15d02
tree7ed8374cafcd926370f7466f439d24a99f2e6677
parenta7a683b120ea8be1fe619d12a7d8a201de0652e6
build: generate man page list from source files, not conf.py

Use $(wildcard ...) to generate the list of man pages based on the rst
source files present in the man page directories, instead of reading
conf.py. This has three main benefits:

1) This makes the man page build slightly less complicated and easier
   to understand. At least there are fewer moving parts.

2) This makes the build fail if we add a man page rst file, but fail
   to add it to conf.py.

3) We can use Sphinx constructs in conf.py that are not available when
   importing the file into a normal python program such as
   mkdocdeps.py.
doc/.gitignore
doc/Makefile.local
doc/mkdocdeps.py [deleted file]