From: gobo72 <gobo72@364a67c3-989e-7be9-548d-dae8560ea662>
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;ds=sidebyside;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