Permalink
Browse files

Fix man pages location (second try...)

  • Loading branch information...
1 parent 1219844 commit 6a5b62a01a1aad5907a683dc498b94fe711a7de8 @vouillon committed Mar 15, 2013
Showing with 2 additions and 1 deletion.
  1. +1 −0 Makefile
  2. +1 −1 config/Makefile
View
1 Makefile
@@ -50,6 +50,7 @@ stamp-prepare: stamp-core
-e 's%ANDROID_PATH%$(ANDROID_PATH)%g' \
-e 's%ANDROID_PREFIX%$(ANDROID_PREFIX)%g' \
-e 's%ANDROID_BINDIR%$(ANDROID_BINDIR)%g' \
+ -e 's%OCAML_SRC%$(OCAML_SRC)%g' \
$$f > ../$(SRC)/config/$$f; \
done
# Apply patches
View
2 config/Makefile
@@ -2,7 +2,7 @@ PREFIX=ANDROID_PREFIX
BINDIR=ANDROID_BINDIR/arm-linux-androideabi
LIBDIR=$(PREFIX)/lib/ocaml
STUBLIBDIR=$(LIBDIR)/stublibs
-MANDIR=$(OCAML_SRC)/no-man
+MANDIR=OCAML_SRC/no-man
MANEXT=1
SYSROOT=ANDROID_NDK/platforms/android-14/arch-arm
RANLIB=ANDROID_PATH/arm-linux-androideabi-ranlib

0 comments on commit 6a5b62a

Please sign in to comment.