leanprover-community · YaelDillies · Jul 1, 2024 · Jul 1, 2024 · Jul 1, 2024
diff --git a/monthly-blog.sh → month-in-mathlib.sh b/monthly-blog.sh → month-in-mathlib.sh
@@ -1,14 +1,14 @@
 #!/bin/bash
 
 usage () {
-echo "Usage: monthly-blog.sh YYYY M path/to/mathlib"
+echo "Usage: month-in-mathlib.sh YYYY M path/to/mathlib4"
 echo ""
-echo "Where YYYY is a 4-digit year, and M is the number of the month."
-echo "Example: monthly-blog.sh 2021 8 ~/mathlib"
+echo "where YYYY is a 4-digit year, and M is the number of the month."
+echo "Example: month-in-mathlib.sh 2021 8 ~/mathlib4"
 echo "It is important that M is a natural number between 1 and 12."
 echo "The formats '02' and '2' are both allowed."
 echo ""
-echo "Important: make sure that the mathlib clone is clean,"
+echo "Important: make sure that the mathlib4 clone is clean,"
 echo "and points to an up-to-date copy of master."
 exit 1
 }
@@ -37,7 +37,7 @@ echo "has_math: true"
 echo "link: ''"
 echo "slug: month-in-mathlib-${month_lc}-$year"
 echo "tags: ''"
-echo "title: This month in mathlib (${month_uc} $year)"
+echo "title: This month in Mathlib (${month_uc} $year)"
 echo "type: text"
 echo "---"
 

diff --git a/posts/month-in-mathlib-aug-2021.md → posts/month-in-mathlib/2021/mim-2021-08.md b/posts/month-in-mathlib-aug-2021.md → posts/month-in-mathlib/2021/mim-2021-08.md
diff --git a/posts/month-in-mathlib-sep-2021.md → posts/month-in-mathlib/2021/mim-2021-09.md b/posts/month-in-mathlib-sep-2021.md → posts/month-in-mathlib/2021/mim-2021-09.md
diff --git a/posts/month-in-mathlib-oct-2021.md → posts/month-in-mathlib/2021/mim-2021-10.md b/posts/month-in-mathlib-oct-2021.md → posts/month-in-mathlib/2021/mim-2021-10.md
diff --git a/posts/month-in-mathlib-nov-2021.md → posts/month-in-mathlib/2021/mim-2021-11.md b/posts/month-in-mathlib-nov-2021.md → posts/month-in-mathlib/2021/mim-2021-11.md
diff --git a/posts/month-in-mathlib-dec-2021.md → posts/month-in-mathlib/2021/mim-2021-12.md b/posts/month-in-mathlib-dec-2021.md → posts/month-in-mathlib/2021/mim-2021-12.md
diff --git a/posts/month-in-mathlib-jan-2022.md → posts/month-in-mathlib/2022/mim-2022-01.md b/posts/month-in-mathlib-jan-2022.md → posts/month-in-mathlib/2022/mim-2022-01.md
diff --git a/posts/month-in-mathlib-feb-2022.md → posts/month-in-mathlib/2022/mim-2022-02.md b/posts/month-in-mathlib-feb-2022.md → posts/month-in-mathlib/2022/mim-2022-02.md
diff --git a/posts/month-in-mathlib-mar-2022.md → posts/month-in-mathlib/2022/mim-2022-03.md b/posts/month-in-mathlib-mar-2022.md → posts/month-in-mathlib/2022/mim-2022-03.md
diff --git a/posts/month-in-mathlib-apr-2022.md → posts/month-in-mathlib/2022/mim-2022-04.md b/posts/month-in-mathlib-apr-2022.md → posts/month-in-mathlib/2022/mim-2022-04.md
diff --git a/posts/month-in-mathlib-may-2022.md → posts/month-in-mathlib/2022/mim-2022-05.md b/posts/month-in-mathlib-may-2022.md → posts/month-in-mathlib/2022/mim-2022-05.md
diff --git a/posts/month-in-mathlib-jun-2022.md → posts/month-in-mathlib/2022/mim-2022-06.md b/posts/month-in-mathlib-jun-2022.md → posts/month-in-mathlib/2022/mim-2022-06.md
diff --git a/posts/month-in-mathlib-jul-2022.md → posts/month-in-mathlib/2022/mim-2022-07.md b/posts/month-in-mathlib-jul-2022.md → posts/month-in-mathlib/2022/mim-2022-07.md
diff --git a/posts/month-in-mathlib-aug-2022.md → posts/month-in-mathlib/2022/mim-2022-08.md b/posts/month-in-mathlib-aug-2022.md → posts/month-in-mathlib/2022/mim-2022-08.md
diff --git a/posts/month-in-mathlib-sep-2022.md → posts/month-in-mathlib/2022/mim-2022-09.md b/posts/month-in-mathlib-sep-2022.md → posts/month-in-mathlib/2022/mim-2022-09.md
diff --git a/posts/month-in-mathlib-oct-nov-2022.md → posts/month-in-mathlib/2022/mim-2022-10.md b/posts/month-in-mathlib-oct-nov-2022.md → posts/month-in-mathlib/2022/mim-2022-10.md
@@ -1,11 +1,11 @@
 ---
 author: ''
-category: ''
+category: 'month-in-mathlib'
 date: 2022-12-01 14:56:21 UTC+01:00
 description: ''
 has_math: true
 link: ''
-slug: this-month-in-mathlib-oct-and-nov-2022
+slug: month-in-mathlib-oct-and-nov-2022
 tags: ''
 title: This month in mathlib (Oct and Nov 2022)
 type: text

diff --git a/posts/month-in-mathlib-may-2024.md → posts/month-in-mathlib/2024/mim-2024-05.md b/posts/month-in-mathlib-may-2024.md → posts/month-in-mathlib/2024/mim-2024-05.md
@@ -7,7 +7,7 @@ has_math: true
 link: ''
 slug: month-in-mathlib-may-2024
 tags: ''
-title: This month in mathlib (May 2024)
+title: This month in Mathlib (May 2024)
 type: text
 ---