From e3316bbd90f62d64b093a33349be5b9b7891d1f5 Mon Sep 17 00:00:00 2001
From: Erwin Harte <github@spam.is-here.com>
Date: Sat, 20 Jul 2024 18:34:50 -0700
Subject: [PATCH] Add a Makefile and a GH workflow which uses it

---
 .github/workflows/pylint.yml | 16 ++++++++++++++++
 Makefile                     | 10 ++++++++++
 2 files changed, 26 insertions(+)
 create mode 100644 .github/workflows/pylint.yml
 create mode 100644 Makefile

diff --git a/.github/workflows/pylint.yml b/.github/workflows/pylint.yml
new file mode 100644
index 0000000..c3caaa0
--- /dev/null
+++ b/.github/workflows/pylint.yml
@@ -0,0 +1,16 @@
+name: Link Checks
+
+on:
+  push:
+    branches: [ main ]
+  pull_requests:
+    branches: [ main ]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Fetch files
+        uses: actions/checkout@v3
+      - name: Run Pylint
+        run: make lint
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..c40e0f4
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,10 @@
+PYTHON_FILES=walk_pages.py compare_pages.py
+
+default:
+	@echo "Usage: make lint"
+
+lint:
+	for file in $(PYTHON_FILES); do \
+		echo "$$file:"; \
+		pylint $$file; \
+	done