Merge pull request #21659 from unoplatform/dev/jela/improve-apt

ci: Disable man to improve build perf

Author: jeromelaban

build/ci/templates/linux-install-deps.yml

@@ -1,4 +1,15 @@
 steps:
+          
+  - bash: |
+      # Used to improve the install performance, since we don't need man
+      set -e
+      # Divert /usr/bin/mandb to avoid package ownership conflicts
+      sudo dpkg-divert --local --rename --add /usr/bin/mandb
+      # Replace with a no-op
+      echo '#!/bin/sh' | sudo tee /usr/bin/mandb >/dev/null
+      echo 'exit 0' | sudo tee -a /usr/bin/mandb >/dev/null
+      sudo chmod 755 /usr/bin/mandb
+    displayName: Disable man-db
 
   - bash: |
       sudo apt-get update