deleted buildrobit script, but added a blacklist to codespell

AndreyAPopov · AndreyAPopov · commit 5cd3e39995a5 · 2025-10-07T08:29:47.000-10:00
diff --git a/docs/Makefile b/docs/Makefile
@@ -19,7 +19,7 @@ serve:
 	--ignore $(PROBLEMSDIR)
 
 lint:
-	pycodestyle .. && codespell ..
+	pycodestyle .. && codespell --skip="*.bib" ..
 
 clean:
 	rm -rf $(BUILDDIR) $(PROBLEMSDIR)
