diff options
| author | Jani Nikula <jani@nikula.org> | 2016-11-05 22:18:17 +0200 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2016-11-17 08:41:24 -0400 |
| commit | 76ab6e99625468b011723a6bd9d84be5fab15d02 (patch) | |
| tree | 7ed8374cafcd926370f7466f439d24a99f2e6677 /parse-time-string/README | |
| parent | a7a683b120ea8be1fe619d12a7d8a201de0652e6 (diff) | |
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.
Diffstat (limited to 'parse-time-string/README')
0 files changed, 0 insertions, 0 deletions
