log docs/tutorial/compile.sh @ 6937:47b41d441ff3 stable tip

age author description
Mon, 08 Jan 2018 11:46:53 +0100 Boris Feld doc: import the training support