Merge pull request #33 from Certora/fix_readme

Fix readme

.github/workflows/gambit.yml

@@ -130,4 +130,24 @@ jobs:
           else
             gh release upload $TAG gambit-linux-$TAG/gambit-linux-$TAG
             gh release upload $TAG gambit-macos-$TAG/gambit-macos-$TAG
-          fi
+          fi
+
+  check-docs:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v2
+
+      - name: PIP install
+        run: pip install ansi
+
+      - name: Check that RTD Docs are Up To Date
+        run: python3 scripts/check_rtd_docs_up_to_date.py
+
+      - name: Check Exit Code
+        run: |
+          if [[ $? -ne 0 ]]; then
+            echo "Error: documentation is not synced"
+            exit 1
+          fi
+

.gitignore

@@ -18,3 +18,6 @@ Cargo.lock
 
 # vscode
 .vscode/
+
+# python
+**/__pycache__/