build/bin/sage-spkg-info: Restore lost blank output line

Matthias Koeppe · Matthias Koeppe · commit 93a900ce4b54 · 2023-12-17T18:47:38.000-08:00
diff --git a/build/bin/sage-spkg-info b/build/bin/sage-spkg-info
@@ -8,6 +8,7 @@ PKG_BASE=$1
 if [ -n "$OUTPUT_DIR" ]; then
     exec > "$OUTPUT_DIR"/$PKG_BASE.rst
     echo ".. _spkg_$PKG_BASE:"
+    echo
 fi
 PKG_SCRIPTS="$SAGE_ROOT/build/pkgs/$PKG_BASE"
 for ext in rst txt; do
