blob: 7cdf0b5b7c82f174add6f0c07f63269ad900d8c3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- configure.orig 2018-04-05 17:50:19 UTC
+++ configure
@@ -52,7 +52,7 @@ fi
echo "prefix=$prefix" > build/config.make
echo "exec_prefix=\${prefix}" >> build/config.make
echo "mono_libdir=\${exec_prefix}/lib" >> build/config.make
-echo "man_dir=\${exec_prefix}/share/man" >> build/config.make
+echo "man_dir=\${exec_prefix}/man" >> build/config.make
echo "man1_dir=\${man_dir}/man1" >> build/config.make
echo "MCS_FLAGS=-debug+" >> build/config.make
echo "RUNTIME=mono" >> build/config.make
|
