diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/Makefile.am | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index a82d537dbf..80d2086772 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -22,8 +22,7 @@ man_MANS = \ CLEANFILES = \ $(MANPAGES) -XSLTPROC_FLAGS = \ - --nonet \ +XSLTPROC_FLAGS += \ --stringparam man.output.quietly 1 \ --stringparam funcsynopsis.style ansi \ --stringparam man.th.extra1.suppress 1 \ |