src/doc/bootstrap: Remove unused variable

Matthias Koeppe · Matthias Koeppe · commit b889b585d374 · 2023-12-17T17:40:18.000-08:00
diff --git a/src/doc/bootstrap b/src/doc/bootstrap
@@ -19,7 +19,6 @@ fi
 
 cd "$SAGE_ROOT"
 
-STRIP_COMMENTS="sed s/#.*//;"
 OUTPUT_DIR="src/doc/en/installation"
 mkdir -p "$OUTPUT_DIR"
 
