diff options
author | Ben Pfaff <blp@ovn.org> | 2017-09-25 11:26:56 -0700 |
---|---|---|
committer | Ben Pfaff <blp@ovn.org> | 2017-09-25 11:32:23 -0700 |
commit | 9db5e1ef3d1b2a9a159480223a2426ec30af355f (patch) | |
tree | 7f8e8cf4d965e10839eeb4a00ac4cdbeb0dbeef0 /Documentation/automake.mk | |
parent | 9c0800b74ff07be5509c7ca2629903b1b990b1a8 (diff) | |
download | openvswitch-9db5e1ef3d1b2a9a159480223a2426ec30af355f.tar.gz |
Documentation: Also define install-man-rst when Sphinx is not available.
"make sandbox" wants to install the ReST manpages, but it failed when
Sphinx wasn't available. This fixes the problem.
Fixes: 986311be550e ("ovs-sandbox: Install .rst manpages into the sandbox as well.")
Reported-by: Justin Pettit <jpettit@ovn.org>
Signed-off-by: Ben Pfaff <blp@ovn.org>
Acked-by: Justin Pettit <jpettit@ovn.org>
Diffstat (limited to 'Documentation/automake.mk')
-rw-r--r-- | Documentation/automake.mk | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Documentation/automake.mk b/Documentation/automake.mk index 24fe63d87..6f38912f2 100644 --- a/Documentation/automake.mk +++ b/Documentation/automake.mk @@ -178,8 +178,8 @@ extract_stem_and_section = \ eval "mandir=\$$man$${section}dir"; \ test -n "$$mandir" || { echo "unknown directory for manpage section $$section"; continue; } -if HAVE_SPHINX INSTALL_DATA_LOCAL += install-man-rst +if HAVE_SPHINX install-man-rst: docs-check @$(set_mandirs); \ for rst in $(RST_MANPAGES); do \ @@ -189,6 +189,9 @@ install-man-rst: docs-check echo " $(INSTALL_DATA) $(SPHINXBUILDDIR)/man/$$stem.$$section '$(DESTDIR)'\"$$mandir/$$stem.$$section\""; \ $(INSTALL_DATA) $(SPHINXBUILDDIR)/man/$$stem.$$section '$(DESTDIR)'"$$mandir/$$stem.$$section"; \ done +else +install-man-rst: + @: endif UNINSTALL_LOCAL += uninstall-man-rst |