Jul 23 - Update PDF export file uses lighter color to save ink

2026-07-23 15:03:24 -04:00
parent edc5398d75
commit 31ffeb0abf
2 changed files with 33 additions and 18 deletions
@@ -6,7 +6,9 @@
      "Bash(python -c \"import docx; print\\('python-docx OK'\\)\")",
      "Bash(pip install *)",
      "Bash(python docs/convert_manual.py)",
-      "Bash(grep -n -A3 dateOnlyFormatter __TRACKED_VAR__/Sync/SyncManager.swift)"
+      "Bash(grep -n -A3 dateOnlyFormatter __TRACKED_VAR__/Sync/SyncManager.swift)",
+      "Bash(python -c \"import ast; ast.parse\\(open\\('app/utils/pdf_export.py'\\).read\\(\\)\\); print\\('OK'\\)\")",
+      "Bash(python -c \"import ast,io; ast.parse\\(io.open\\('app/utils/pdf_export.py',encoding='utf-8'\\).read\\(\\)\\); print\\('OK'\\)\")"
    ]
  }
 }