diff options
Diffstat (limited to 'games/jaggedalliance2/files/patch-configure')
| -rw-r--r-- | games/jaggedalliance2/files/patch-configure | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/games/jaggedalliance2/files/patch-configure b/games/jaggedalliance2/files/patch-configure new file mode 100644 index 000000000000..911723f0e28d --- /dev/null +++ b/games/jaggedalliance2/files/patch-configure @@ -0,0 +1,11 @@ +--- configure.orig 2014-05-09 20:51:45 UTC ++++ configure +@@ -47,7 +47,7 @@ fi + # writing Makefile.config + echo "# configuration options" >Makefile.config + echo "BINARY_DIR := $PREFIX/bin" >>Makefile.config +-echo "MANPAGE_DIR := $PREFIX/share/man/man6" >>Makefile.config ++echo "MANPAGE_DIR := $PREFIX/man/man6" >>Makefile.config + echo "FULL_PATH_EXTRA_DATA_DIR := $PREFIX/share/ja2" >>Makefile.config + echo "INSTALLABLE := yes" >>Makefile.config + |