diff --git a/core/mandoc/build b/core/mandoc/build index 2542c8ef..f560184e 100755 --- a/core/mandoc/build +++ b/core/mandoc/build @@ -9,8 +9,9 @@ cat > configure.local <