diff options
| -rw-r--r-- | .gitmodules | 3 | ||||
| -rw-r--r-- | docs/.gitignore | 2 | ||||
| -rw-r--r-- | docs/Makefile | 2 | ||||
| m--------- | docs/_themes | 0 |
4 files changed, 5 insertions, 2 deletions
diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 000000000..45397942b --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "docs/_themes"] + path = docs/_themes + url = git://github.com/Pylons/pylons_sphinx_theme.git 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 |