diff --git a/core/mandoc/build b/core/mandoc/build index f54f74cf..974f6faf 100755 --- a/core/mandoc/build +++ b/core/mandoc/build @@ -6,6 +6,7 @@ cat > configure.local <