diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2014-10-06 22:40:36 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-10-06 22:40:36 +0200 |
| commit | 8d7007876dbc01285616817ec261975aa520808c (patch) | |
| tree | 2c390461c88452d96742effa7c24b084e3fb21c7 /vignettes/gmkin_manual.html | |
| parent | 7ec7a3ab7fe9a01a29f858de2087bba1e575b374 (diff) | |
New static documentation, installation using repository
The Makefile was enhanced to support generating static documentation,
which will also point to vignettes (e.g. a manual) that will be written
in the future.
Installation instructions were updated to describe the much easier
installation from the newly created repository.
Diffstat (limited to 'vignettes/gmkin_manual.html')
0 files changed, 0 insertions, 0 deletions