fixing parsing

brightdigit · Feb 4, 2025 · 5e9dea9 · 5e9dea9
1 parent fffbcb4
commit 5e9dea9
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 2 deletions.
diff --git a/.github/workflows/update-settings.yml b/.github/workflows/update-settings.yml
@@ -90,6 +90,8 @@ jobs:
     - name: Check for changes
       id: check_changes
       run: |
+        # Delete temporary help files
+        rm help-hidden.txt frontend-help-hidden.txt
         if [ -n "$(git status --porcelain)" ]; then
           echo "changes=true" >> $GITHUB_OUTPUT
         else

diff --git a/Scripts/soundness/docc.sh b/Scripts/soundness/docc.sh
@@ -11,7 +11,7 @@ extract_struct_names() {
     local dir=$1
     local recursive=$2
     local maxdepth_arg=${recursive:+""} ${recursive:-"-maxdepth 1"}
-    find "$dir" $maxdepth_arg -name "*.swift" -exec grep -h "^public struct" {} \; | sed 's/public struct \([^:]*\).*/- ``\1``/' | sort
+    find "$dir" $maxdepth_arg -name "*.swift" -exec basename {} .swift \; | sed 's/\(.*\)/- ``\1``/' | sort
 }
 
 # Create temporary file

diff --git a/Scripts/soundness/features.sh b/Scripts/soundness/features.sh
@@ -74,7 +74,8 @@ create_feature_file() {
 
 								# Ensure period_pos is a valid number
 								if [[ "$period_pos" =~ ^[0-9]+$ ]] && [ "$period_pos" -gt 0 ]; then
-										echo "/// ${line:0:period_pos}"
+										echo "/// ${line:0:period_pos}."
+										echo "///"
 										echo "///"
 										if [ "${#line}" -gt "$period_pos" ]; then
 												echo "/// ${line:period_pos+1}"