src/bin/sage: Suggested help string edit

vbraun · Nov 16, 2023 · f6fabd8 · f6fabd8
1 parent 880776f
commit f6fabd8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/bin/sage b/src/bin/sage
@@ -487,8 +487,8 @@ usage_advanced() {
         echo "                         imports when sage.PAC.KAGE is an implicit namespace"
         echo "                         package"
         echo "  --fixdistributions <files|dirs>"
-        echo "                      -- Check or update 'sage_setup: distribution' directives"
-        echo "                         in source files"
+        echo "                      -- Check or update '# sage_setup: distribution'"
+        echo "                         directives in source files"
     fi
     echo "  --sh [...]         -- run a shell with Sage environment variables"
     echo "                        as they are set in the runtime of Sage"