diff options
Diffstat (limited to 'src/doc')
| -rw-r--r-- | src/doc/Makefile.in | 20 | ||||
| -rw-r--r-- | src/doc/deps | 1 |
2 files changed, 21 insertions, 0 deletions
diff --git a/src/doc/Makefile.in b/src/doc/Makefile.in new file mode 100644 index 0000000000..6222e21971 --- /dev/null +++ b/src/doc/Makefile.in @@ -0,0 +1,20 @@ +mydir=doc +BUILDTOP=$(REL).. + +SPHINX_BUILD=sphinx-build + +docsrc=$(top_srcdir)/../doc +mansrc=$(top_srcdir)/man + +# The file editing loop deletes some trailing whitespace that the +# docutils manpage writer outputs near the end of its output files. +rstman:: + $(RM) -r mantmp && mkdir mantmp + $(SPHINX_BUILD) -q -t mansubs -b man $(docsrc)/rst_source mantmp + for f in mantmp/*.[0-9]; do \ + name=`echo $$f | sed -e 's|^.*/\(.*\)\.[0-9]$$|\1|'`; \ + sed -e '/^\.\\" $$/d' $$f > $(mansrc)/$$name.man; \ + done + +clean:: + $(RM) -r mantmp diff --git a/src/doc/deps b/src/doc/deps new file mode 100644 index 0000000000..2feac3c9d3 --- /dev/null +++ b/src/doc/deps @@ -0,0 +1 @@ +# No dependencies here. |