diff options
author | Matthieu Herrb <matthieu.herrb@laas.fr> | 2009-11-01 17:45:23 +0100 |
---|---|---|
committer | Matthieu Herrb <matthieu@herrb.eu> | 2023-06-15 17:43:43 +0200 |
commit | c6678a402b948d72fed8d822d73cf2b5b8edb731 (patch) | |
tree | 1f49ba52fc5e8dcb6c8b8cc101b4b07d48989045 | |
parent | fb3fa780d139b2fbed8a545d88bfc4de2404f772 (diff) |
Fix man pages build on !gnumakeobsd
-rw-r--r-- | man/Makefile.am | 1 |
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 + |