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