diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/.gitignore | 2 | ||||
| -rw-r--r-- | docs/Makefile | 2 | ||||
| m--------- | docs/_themes | 0 |
3 files changed, 2 insertions, 2 deletions
diff --git a/docs/.gitignore b/docs/.gitignore index 1e9e0413c..30d731d4a 100644 --- a/docs/.gitignore +++ b/docs/.gitignore @@ -1,3 +1,3 @@ _build -_themes + diff --git a/docs/Makefile b/docs/Makefile index 92dc56fda..d3a83facc 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -85,4 +85,4 @@ epub: @echo "Build finished. The epub file is in _build/epub." _themes: - git clone git://github.com/Pylons/pylons_sphinx_theme.git _themes + cd ..; git submodule update --init; cd docs diff --git a/docs/_themes b/docs/_themes new file mode 160000 +Subproject 03e5e5aaaeddc4c9aea887478c7e7b379a127b6 |