1 files changed, 16 insertions, 0 deletions
diff --git a/configure.local b/configure.local
new file mode 100644
index 000000000000..2de54855c320
--- /dev/null
+++ b/configure.local
@@ -0,0 +1,16 @@
+PREFIX=/usr
+SBINDIR=$PREFIX/bin
+MANDIR=$PREFIX/share/man
+
+MANM_MAN=mandoc_man
+MANM_MDOC=mandoc_mdoc
+MANM_ROFF=mandoc_roff
+MANM_EQN=mandoc_eqn
+MANM_TBL=mandoc_tbl
+
+BINM_MAN=mman
+BINM_SOELIM=msoelim
+BINM_APROPOS=mapropos
+BINM_WHATIS=mwhatis
+
+CFLAGS="$CFLAGS -O2"