From 45a64a7a208b82f9b76640fd32331d3ab81a4947 Mon Sep 17 00:00:00 2001 From: Dirk Alders Date: Thu, 7 Jan 2021 22:12:04 +0100 Subject: [PATCH] Caching added + Some server make rules --- .gitmodules | 3 +++ Makefile | 10 ++++++++++ caching | 1 + 3 files changed, 14 insertions(+) create mode 160000 caching diff --git a/.gitmodules b/.gitmodules index 0d4d94f..2167c4a 100644 --- a/.gitmodules +++ b/.gitmodules @@ -13,3 +13,6 @@ [submodule "task"] path = task url = https://git.mount-mockery.de/pylib/task +[submodule "caching"] + path = caching + url = https://git.mount-mockery.de/pylib/caching diff --git a/Makefile b/Makefile index 6b20c69..a9ce63d 100644 --- a/Makefile +++ b/Makefile @@ -50,3 +50,13 @@ index.rst: Makefile make -C $@/_examples_ all; \ fi @echo " $@.rst" >> index.rst; \ + +update: + git pull + git submodule init + git submodule foreach git checkout master + git submodule foreach git pull + +copy: + rsync -av --delete _build/html/ /data/webroot/pylib_docs/ + chown www-data.www-data -R /data/webroot/pylib_docs/ diff --git a/caching b/caching new file mode 160000 index 0000000..01cf327 --- /dev/null +++ b/caching @@ -0,0 +1 @@ +Subproject commit 01cf327609fcac0dbddbad4168ae154cf625bbee