simplify raw

leanprover-community · Aug 2, 2024 · 6e562ba · 6e562ba
1 parent 44af846
commit 6e562ba
Showing 1 changed file with 8 additions and 5 deletions.
diff --git a/monthly_summary.sh b/monthly_summary.sh
@@ -1,5 +1,12 @@
 #!/bin/bash
 
+: <<'BASH_DOC_MODULE'
+
+This command
+
+BASH_DOC_MODULE
+
+
 repository='leanprover-community/mathlib4'
 baseUrl="https://github.com/${repository}/pull/"
 
@@ -19,11 +26,7 @@ if [ "$#" -gt 2 ]; then
     exit 1
 fi
 
-raw=""
-if [ "${2}" == "raw" ]
-then
-  raw=raw
-fi
+raw="${2}"
 
 rm -rf found_by_gh.txt found_by_git.txt