diff options
Diffstat (limited to 'doc/dvi2tty/PRE_BUILD')
-rwxr-xr-x | doc/dvi2tty/PRE_BUILD | 4 |
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 && |