diff options
| author | Rémi Flamary <remi.flamary@gmail.com> | 2017-08-30 16:24:21 +0200 |
|---|---|---|
| committer | Rémi Flamary <remi.flamary@gmail.com> | 2017-08-30 16:24:21 +0200 |
| commit | c2a7a1f3ab4ba5c4f5adeca0fa22d8d6b4fc079d (patch) | |
| tree | 862c2d1741ebb542333da50e347315404a81caf0 /docs/nb_build | |
| parent | 7ccb822acd9e8072e733e4e74f25436e7b8fc16e (diff) | |
bug config file
Diffstat (limited to 'docs/nb_build')
| -rwxr-xr-x | docs/nb_build | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/nb_build b/docs/nb_build index d0d01ff..e0afbcd 100755 --- a/docs/nb_build +++ b/docs/nb_build @@ -4,6 +4,7 @@ # remove comment sed -i "s/#'sphinx\_gallery/'sphinx\_gallery/" source/conf.py +make html # put comment again sed -i "s/'sphinx\_gallery/#'sphinx\_gallery/" source/conf.py |