mirror of
https://git.notmuchmail.org/git/notmuch
synced 2024-11-21 18:38:08 +01:00
doc: build man pages into hierarchy, fix help test.
It turns out there was a reason the old man pages were stored in a man compatible hierarchy, namely so that we could run man on them before installing. Hardcode doc build location into test suite. This isn't ideal, but let's unbreak the test suite for now.
This commit is contained in:
parent
9d9a700f1d
commit
533639b143
3 changed files with 10 additions and 7 deletions
|
@ -40,7 +40,10 @@ ${MAN_ROFF_FILES}: ${dir}/man.stamp
|
|||
$(dir)/man.stamp: ${MAN_RST_FILES}
|
||||
ifeq ($(HAVE_SPHINX),1)
|
||||
$(SPHINXBUILD) -b man $(ALLSPHINXOPTS) $(DOCBUILDDIR)/man
|
||||
touch $@
|
||||
for section in 1 5 7; do \
|
||||
mkdir -p $(DOCBUILDDIR)/man/man$${section}; \
|
||||
mv $(DOCBUILDDIR)/man/*.$${section} $(DOCBUILDDIR)/man/man$${section}; \
|
||||
done
|
||||
else ifeq ($(HAVE_RST2MAN),1)
|
||||
$(prerst2man) $(DOCBUILDDIR)/.. $(DOCBUILDDIR)/man
|
||||
touch $@
|
||||
|
@ -52,9 +55,9 @@ install-man: ${MAN_GZIP_FILES}
|
|||
mkdir -p "$(DESTDIR)$(mandir)/man1"
|
||||
mkdir -p "$(DESTDIR)$(mandir)/man5"
|
||||
mkdir -p "$(DESTDIR)$(mandir)/man7"
|
||||
install -m0644 $(DOCBUILDDIR)/man/*.1.gz $(DESTDIR)/$(mandir)/man1
|
||||
install -m0644 $(DOCBUILDDIR)/man/*.5.gz $(DESTDIR)/$(mandir)/man5
|
||||
install -m0644 $(DOCBUILDDIR)/man/*.7.gz $(DESTDIR)/$(mandir)/man7
|
||||
install -m0644 $(DOCBUILDDIR)/man/man1/*.1.gz $(DESTDIR)/$(mandir)/man1
|
||||
install -m0644 $(DOCBUILDDIR)/man/man5/*.5.gz $(DESTDIR)/$(mandir)/man5
|
||||
install -m0644 $(DOCBUILDDIR)/man/man7/*.7.gz $(DESTDIR)/$(mandir)/man7
|
||||
cd $(DESTDIR)/$(mandir)/man1 && ln -sf notmuch.1.gz notmuch-setup.1.gz
|
||||
|
||||
$(dir)/docdeps.mk: $(dir)/conf.py $(dir)/mkdocdeps.py
|
||||
|
|
|
@ -10,7 +10,7 @@ rst_files = []
|
|||
out=open(outfile,'w')
|
||||
for page in man_pages:
|
||||
rst_files = rst_files + ["doc/{0:s}.rst".format(page[0])]
|
||||
roff_files = roff_files + ["{0:s}/man/{1:s}.{2:d}".format(builddir,page[1],page[4])]
|
||||
roff_files = roff_files + ["{0:s}/man/{1:s}.{2:d}".format(builddir,page[0],page[4])]
|
||||
|
||||
out.write ('MAN_ROFF_FILES := ' + ' \\\n\t'.join(roff_files)+'\n')
|
||||
out.write ('MAN_RST_FILES := ' + ' \\\n\t'.join(rst_files)+'\n')
|
||||
|
|
|
@ -98,12 +98,12 @@ then
|
|||
PATH=$GIT_VALGRIND/bin:$PATH
|
||||
GIT_EXEC_PATH=$GIT_VALGRIND/bin
|
||||
export GIT_VALGRIND
|
||||
test -n "$notmuch_path" && MANPATH="$notmuch_path/man:$MANPATH"
|
||||
test -n "$notmuch_path" && MANPATH="$notmuch_path/doc/_build/man"
|
||||
else # normal case
|
||||
if test -n "$notmuch_path"
|
||||
then
|
||||
PATH="$notmuch_path:$PATH"
|
||||
MANPATH="$notmuch_path/man:$MANPATH"
|
||||
MANPATH="$notmuch_path/doc/_build/man"
|
||||
fi
|
||||
fi
|
||||
export PATH MANPATH
|
||||
|
|
Loading…
Reference in a new issue