From 6f8daa39895c600180530618abc0eb86d56500d0 Mon Sep 17 00:00:00 2001 From: David Bremner Date: Wed, 5 Mar 2014 09:34:10 -0400 Subject: doc: install sphinx version of man pages The python script mkdocdeps.py is used to import the list of man pages from the sphinx configuration to make. This will delete the (release only) target update-man-versions. This will be replaced in a followup commit. --- doc/mkdocdeps.py | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 doc/mkdocdeps.py (limited to 'doc/mkdocdeps.py') diff --git a/doc/mkdocdeps.py b/doc/mkdocdeps.py new file mode 100644 index 00000000..2f4a9596 --- /dev/null +++ b/doc/mkdocdeps.py @@ -0,0 +1,13 @@ +from sys import argv +conffile = argv[1] +builddir = argv[2] +outfile = argv[3] + +execfile(conffile) + +roff_files = [] +out=open(outfile,'w') +for page in man_pages: + roff_files = roff_files + ["{0:s}/man/{1:s}.{2:d}".format(builddir,page[1],page[4])] + +out.write ('MAN_ROFF_FILES := ' + ' \\\n\t'.join(roff_files)+'\n') -- cgit v1.2.3