Update manual deploy

2023-04-07 11:18:48 -04:00
parent e8311ddd21
commit 78452080e2
1 changed files with 1 additions and 6 deletions
--- a/7
+++ b/7
@@ -22,11 +22,7 @@ for script in script-*; do
    cp -u "$script" /usr/local/bin/
 done

-# Install manual
-# manual=
-# images_dir=
-
-# [[ ! -f "$manual" ]] && echo "No manual found, skipping!" && exit 1
+# Install manual link
 remove=("manual.pdf" "manual.odt" "Notes.pdf" "Notes.odt" "README.html" "manual-images" "manual.html" "manual-images")
 for homedir in /home/*; do
    desktop="$homedir/Desktop"
@@ -45,4 +41,3 @@ for homedir in /home/*; do
 done
 unset desktop

-popd || exit $?