Workaround temporaire pour TexLive qui remplace /usr/bin/man

diff --git a/stage5/pkg/texlive b/stage5/pkg/texlive
index 9a7fd8d..b3ecea3 100644 (file)
--- 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