diff options
author | Georg Brandl <georg@python.org> | 2014-01-18 21:16:32 +0100 |
---|---|---|
committer | Georg Brandl <georg@python.org> | 2014-01-18 21:16:32 +0100 |
commit | ff3a8dea781fb0492de4abbd4da48a5b1c110974 (patch) | |
tree | 5aaf665818ca148242ba821fc95940b396009f17 /Makefile | |
parent | 97703d63f39e6086d497a6a749c9eee3293dcbeb (diff) | |
download | pygments-ff3a8dea781fb0492de4abbd4da48a5b1c110974.tar.gz |
New docs + website using Sphinx.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 7 |
1 files changed, 2 insertions, 5 deletions
@@ -36,11 +36,8 @@ codetags: @$(PYTHON) scripts/find_codetags.py -i tests/examplefiles -i scripts/pylintrc \ -i scripts/find_codetags.py -o codetags.html . -docs: docs/build - -docs/build: docs/src/*.txt - $(PYTHON) docs/generate.py html docs/build $? - touch docs/build +docs: + make -C doc html mapfiles: (cd pygments/lexers; $(PYTHON) _mapping.py) |