aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/clients/Makefile.am10
1 files changed, 6 insertions, 4 deletions
diff --git a/doc/clients/Makefile.am b/doc/clients/Makefile.am
index 8f7b55dcb..1cf579c71 100644
--- a/doc/clients/Makefile.am
+++ b/doc/clients/Makefile.am
@@ -149,13 +149,15 @@ $(CAVE_COMMANDS_HTML) : header.html.part footer.html.part
instruo.html : header.html.part footer.html.part
{ cat header.html.part && { \
- if test -x $(top_builddir)/src/clients/instruo/man-instruo ; then \
- $(top_builddir)/src/clients/instruo/man-instruo --html ; \
+ if test -f $(top_builddir)/src/clients/instruo/instruo.html-man-fragment ; then \
+ cat $(top_builddir)/src/clients/instruo/instruo.html-man-fragment ; \
+ elif test -f $(top_srcdir)/src/clients/instruo/instruo.html-man-fragment ; then \
+ cat $(top_srcdir)/src/clients/instruo/instruo.html-man-fragment ; \
else \
echo "<h1>instruo</h1>"; \
echo "<p>Sorry, documentation was generated without support for the instruo client.</p>" ; \
- fi ; } && \
- cat footer.html.part ; } > $@
+ fi ; } \
+ && cat footer.html.part ; } > $@
header.html.part : $(srcdir)/../header.html.part.in toplinks.html.part
sed \