aboutsummaryrefslogtreecommitdiff
path: root/parse-time-string/Makefile
diff options
context:
space:
mode:
authorJani Nikula <jani@nikula.org>2016-11-05 22:18:17 +0200
committerDavid Bremner <david@tethera.net>2016-11-17 08:41:24 -0400
commit76ab6e99625468b011723a6bd9d84be5fab15d02 (patch)
tree7ed8374cafcd926370f7466f439d24a99f2e6677 /parse-time-string/Makefile
parenta7a683b120ea8be1fe619d12a7d8a201de0652e6 (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/Makefile')
0 files changed, 0 insertions, 0 deletions