Commit dd470b4b authored by Jonas Oberschweiber's avatar Jonas Oberschweiber

Fix README

parent 4977f728
......@@ -16,7 +16,7 @@ information can be found in the manual, see the `doc` directory.
Use `make manual` to generate a PDF version of the manual. A working LaTeX
installation is required. `make doc` generates the CurryDoc documentation for
the CPM source code in the `cdoc` directory. You need a CurryDoc installation
containing [this patch](1).
containing [this patch][1].
## Contributing
......
Markdown is supported
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