Add notebooks for Seminators

Dockerfile

@@ -48,7 +48,13 @@ RUN umask 0002 && \
     cd 'examples (read only)' && \
     for i in *.ipynb; do mv $i tmp-$i; jupyter nbconvert --to notebook tmp-$i --stdout > $i; rm -f tmp-$i; jupyter trust $i; done && \
     cd .. && mkdir -p 'examples (read only)/.ipynb_checkpoints' && \
-    chmod -R a-w 'examples (read only)'
+    chmod -R a-w 'examples (read only)' && \
+    mkdir 'seminator (read only)' && \
+    cp /usr/share/doc/seminator/notebooks/*.ipynb* 'seminator (read only)' && \
+    cd 'seminator (read only)' && \
+    for i in *.ipynb; do mv $i tmp-$i; jupyter nbconvert --to notebook tmp-$i --stdout > $i; rm -f tmp-$i; jupyter trust $i; done && \
+    cd .. && mkdir -p 'seminator (read only)/.ipynb_checkpoints' && \
+    chmod -R a-w 'seminator (read only)'
 
 USER root
 RUN chown -R root:root 'examples (read only)' .bashrc .jupyter .local \

README

@@ -35,7 +35,7 @@ installed (see /usr/local/share/doc/ for license details):
    - ltl3dra 0.3.0  (GPL 3)
    - ltl3tela 2.1.1  (GPL 3)
    - ltl2dstar 0.5.4  (GPL 2)
-   - Seminator 2.0  (GPL 3)
+   - Seminator 2.0  (GPL 3)   Python examples are in a dedicated directory
    - Owl 19.06.03  (GPL 3)
    - jhoafparser 1.1.1  (LGPL 2.1)
    - spin @SPINVERSION@  (BSD 3-clause)

install.sh

@@ -88,6 +88,7 @@ make install
 ldconfig
 mkdir -p /usr/local/share/doc/seminator
 cp COPYING README.md /usr/local/share/doc/seminator
+mv notebooks /usr/local/share/doc/seminator
 cd ..
 rm -rf seminator-$V seminator-$V.tar.gz