-
Derecho authored
* Makefile: Made doc target phony + Readme: Added URL to documentation + .gitignore: Ignore documentation output
d42ec4f6
* Makefile: Made doc target phony + Readme: Added URL to documentation + .gitignore: Ignore documentation output