summaryrefslogtreecommitdiffstats
path: root/doc/dvi2tty/PRE_BUILD
diff options
context:
space:
mode:
Diffstat (limited to 'doc/dvi2tty/PRE_BUILD')
-rwxr-xr-xdoc/dvi2tty/PRE_BUILD4
1 files changed, 1 insertions, 3 deletions
diff --git a/doc/dvi2tty/PRE_BUILD b/doc/dvi2tty/PRE_BUILD
index 2e0a69b582..7060a20dc2 100755
--- a/doc/dvi2tty/PRE_BUILD
+++ b/doc/dvi2tty/PRE_BUILD
@@ -1,13 +1,11 @@
default_pre_build &&
cd $SOURCE_DIRECTORY &&
-patch -p0 < $SPELL_DIRECTORY/disdvi.c.patch &&
-patch -p0 < $SPELL_DIRECTORY/dvi2tty.c.patch &&
+
sed -i -e "s:^prefix.*:prefix = $INSTALL_ROOT/usr:" \
-e 's:^mandir.*:mandir = \$(prefix)/share/man/man1:' \
-e "s:^CFLAGS.*:CFLAGS = $CFLAGS:g" \
-e "s:^LDFLAGS.*:LDFLAGS = $LDFLAGS:g" Makefile &&
sed -i -e "s:getline:own_getline:g" dvistuff.c &&
-patch -p0 < $SPELL_DIRECTORY/malloc_cleanup.patch &&
sed -i -e "s:/usr/bin/more:/bin/more:g" dvi2tty.c
#sed -i -e "s:malloc:own_malloc:g" disdvi.c &&
#sed -i -e "s:malloc:own_malloc:g" dvi2tty.c &&