diff options
author | Rémi Flamary <remi.flamary@gmail.com> | 2017-08-30 17:01:01 +0200 |
---|---|---|
committer | Rémi Flamary <remi.flamary@gmail.com> | 2017-08-30 17:01:01 +0200 |
commit | dc8737a30cb6d9f1305173eb8d16fe6716fd1231 (patch) | |
tree | 1f03384de2af88ed07a1e850e0871db826ed53e7 /docs/nb_build | |
parent | c2a7a1f3ab4ba5c4f5adeca0fa22d8d6b4fc079d (diff) |
wroking make!
Diffstat (limited to 'docs/nb_build')
-rwxr-xr-x | docs/nb_build | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/nb_build b/docs/nb_build index e0afbcd..2523d71 100755 --- a/docs/nb_build +++ b/docs/nb_build @@ -3,8 +3,10 @@ # remove comment sed -i "s/#'sphinx\_gallery/'sphinx\_gallery/" source/conf.py +sed -i "s/sys.modules.update/#sys.modules.update/" source/conf.py make html # put comment again sed -i "s/'sphinx\_gallery/#'sphinx\_gallery/" source/conf.py +sed -i "s/#sys.modules.update/sys.modules.update/" source/conf.py |