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 d4e11e5ea..1e9e0413c 100644 --- a/docs/.gitignore +++ b/docs/.gitignore @@ -1,2 +1,3 @@ _build +_themes diff --git a/docs/Makefile b/docs/Makefile index 3fbf56d0a..1d032cf45 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -85,5 +85,4 @@ epub: @echo "Build finished. The epub file is in _build/epub." _themes: - git submodule init - git submodule update + git clone git://github.com/Pylons/pylons_sphinx_theme.git _themes diff --git a/docs/_themes b/docs/_themes deleted file mode 160000 -Subproject 53898ec579a1c31e8780824c0a255eca004e0e5 |