From: gobo72 Date: Mon, 22 Aug 2011 02:44:51 +0000 (+0000) Subject: Workaround temporaire pour TexLive qui remplace /usr/bin/man X-Git-Url: http://gitweb.hugovil.com/?a=commitdiff_plain;h=767c559b3752bef1fb63e5cea4823fddaa74cccb;p=hvlinux.git Workaround temporaire pour TexLive qui remplace /usr/bin/man --- diff --git a/stage5/pkg/texlive b/stage5/pkg/texlive index 9a7fd8d..b3ecea3 100644 --- a/stage5/pkg/texlive +++ b/stage5/pkg/texlive @@ -23,6 +23,12 @@ hvconfig_pre() --enable-shared \ --without-luatex \ --enable-mktextex-default" + + # This TexLive version overwrites /usr/bin/man. Save Man-DB version + # if it was not previously saved by this script. + if [ -f /usr/bin/man ]; then + mv -v /usr/bin/man{,.man-db} + fi } hvbuild_post() @@ -41,6 +47,10 @@ hvbuild_post() done unset FN + # This TexLive version overwrites /usr/bin/man. Restore original Man-DB version. + rm -v /usr/bin/man + mv -v /usr/bin/man{.man-db,} + # Fix bug with $SELFAUTOPARENT variable being empty... sed -i -e 's!\$SELFAUTOPARENT!/usr/share!' /usr/share/texmf/web2c/texmf.cnf