summaryrefslogtreecommitdiff
path: root/make-man-index.py
diff options
context:
space:
mode:
authorKarel Zak <kzak@redhat.com>2014-02-10 10:37:11 +0100
committerTom Gundersen <teg@jklm.no>2014-02-10 13:00:19 +0100
commitbfb35cfda11d529f02c698e87ae298309a776305 (patch)
tree9751c81ae67d521dd767c74b96979e5cf72e34be /make-man-index.py
parent63a1b905d83b8d223f78822122c71860c1b613d1 (diff)
build-sys: add check-includes build target and script
Diffstat (limited to 'make-man-index.py')
0 files changed, 0 insertions, 0 deletions