JWS-116 Minor changes to the bash script used to generate the docs with Sphinx
authorFábio Madeira <fmmarquesmadeira@dundee.ac.uk>
Wed, 12 Apr 2017 16:29:35 +0000 (17:29 +0100)
committerFábio Madeira <fmmarquesmadeira@dundee.ac.uk>
Wed, 12 Apr 2017 16:29:35 +0000 (17:29 +0100)
commitd79547479229fba5f6178897eac3fee0376827cc
treeba3821ac4397bbe202b0639af0184544d776ccc3
parent59aa578b9958da940c0d61299617723f920c9b41
JWS-116 Minor changes to the bash script used to generate the docs with Sphinx
docs/generate_manual.sh