Do not remove entire /usr/share/doc/HTML

Closes: #929850

1 files changed, 21 insertions, 6 deletions

diff --git a/debian/prerm b/debian/prerm
index 4597b9f..ab948e6 100755
--- a/debian/prerm
+++ b/debian/prerm
@@ -24,6 +24,9 @@ set -e
 
 #### Globals ####
 
+line_feed="
+"
+
 #### Import Library ####
 
 # If old version's prerm fails, our files (and thus the script library)
@@ -55,6 +58,24 @@ do_removal_cleanup_actions ()
     # The directories themselves will be removed by dpkg;
     # cf. our debian/dirs entries.
 
+    # Remove html document index directory contents.
+
+    if [ -e /var/lib/dhelp/exported.list ]; then
+        local old_ifs="$IFS"
+        IFS="${line_feed}"
+        for entry in $(tac /var/lib/dhelp/exported.list); do
+            case "${entry}" in
+            */)
+                rmdir "${entry}" || true
+                ;;
+            *)
+                rm --force "${entry}"
+                ;;
+            esac
+        done
+        IFS="${old_ifs}"
+    fi
+
     # Remove all cache data inside /var/lib/dhelp/tmp
 
     if [ -d /var/lib/dhelp/tmp ]; then
@@ -68,12 +89,6 @@ do_removal_cleanup_actions ()
         rm --force /var/lib/dhelp/* 2>&1 \
             | grep --invert-match '/var/lib/dhelp/tmp' || true
     fi
-
-    # Remove html document index directory contents.
-
-    if [ -d /usr/share/doc/HTML ]; then
-        rm --force --recursive /usr/share/doc/HTML/*
-    fi
 }
 
 #### Main script body ####