Darko Poljak
15f01149f9
Update old homepage residual refs and non working git protocol
2019-05-09 08:26:42 +02:00
Darko Poljak
4f40c6ac65
Re-arrange Makefile and build-helper script
...
Maintainers should use build-helper script.
End users should use Makefile, which contains targets
that can be run on pure source (without git repository).
2019-05-08 22:34:03 +02:00
Darko Poljak
8b93bf0218
Migrate from github to ungleich gitlab
2019-04-25 22:23:06 +02:00
6bd73237cf
Bug/dotman docs fix ( #581 )
...
* fix documentation for building custom man-pages from non-standard path
2017-09-27 09:14:23 +02:00
Darko Poljak
e9f8cb6f49
Install using distutils from cloned repo.
2017-08-28 18:01:00 +02:00
adfec76bce
Fix typos.
2017-06-30 16:01:07 +01:00
Darko Poljak
4dac520d98
Implement make targets: man, html, docs.
2016-07-04 12:21:01 +02:00
Darko Poljak
0f8ec6ce3a
Update docs installation chapter.
2016-06-30 15:24:14 +02:00
Darko Poljak
0d64d6a5b6
docs/man -> docs/src and update Makefile and build-helper.
2016-06-30 15:13:21 +02:00
