summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthieu Herrb <matthieu.herrb@laas.fr>2009-11-01 17:45:23 +0100
committerMatthieu Herrb <matthieu@herrb.eu>2023-06-15 17:43:43 +0200
commitc6678a402b948d72fed8d822d73cf2b5b8edb731 (patch)
tree1f49ba52fc5e8dcb6c8b8cc101b4b07d48989045
parentfb3fa780d139b2fbed8a545d88bfc4de2404f772 (diff)
Fix man pages build on !gnumakeobsd
-rw-r--r--man/Makefile.am1
1 files changed, 1 insertions, 0 deletions
diff --git a/man/Makefile.am b/man/Makefile.am
index 96fcd73..e480bd7 100644
--- a/man/Makefile.am
+++ b/man/Makefile.am
@@ -45,3 +45,4 @@ else
.xml.man:
@echo "WARNING: configure did not find xmlto, cannot create $@ without it"
endif
+