Initial import of the doc tools.

1 files changed, 24 insertions, 0 deletions

diff --git a/Makefile b/Makefile
new file mode 100644
index 00000000..f1f52a87
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,24 @@
+PYTHON ?= python
+
+export PYTHONPATH = $(shell echo "$$PYTHONPATH"):./sphinx
+
+.PHONY: all check clean clean-pyc pylint reindent testserver
+
+all: clean-pyc check
+
+check:
+	@$(PYTHON) utils/check_sources.py -i sphinx/style/jquery.js sphinx
+	@$(PYTHON) utils/check_sources.py converter
+
+clean: clean-pyc
+
+clean-pyc:
+	find . -name '*.pyc' -exec rm -f {} +
+	find . -name '*.pyo' -exec rm -f {} +
+	find . -name '*~' -exec rm -f {} +
+
+pylint:
+	@pylint --rcfile utils/pylintrc sphinx converter
+
+reindent:
+	@$(PYTHON) utils/reindent.py -r -B .