Skip to content
Commit 5cd75b18 authored by Vít Novotný's avatar Vít Novotný
Browse files

Added the `docs`, `install-base`, and `install-docs` targets and

updated the `README`.

The `make all install-base` command can now be used to perform just
a base installation. Using the `make docs install-docs` command
afterwards will typeset and install the documentation as well.
parent e57e561e
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment