diff options
| author | Martin Mares <mj@ucw.cz> | 2000-05-31 11:35:47 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2000-05-31 11:35:47 +0000 |
| commit | 46527a939e97a8a0d6d023ad7853e5e9a2df1ea9 (patch) | |
| tree | 25952d3992acd188715012deac066eb94eb61217 /nest | |
| parent | fcb5f4a725c9edecca7d4646c633e42f66ab53b6 (diff) | |
Modified the Makefile to work in the source tree.
From now, you can just `make userdocs' in doc, no need to use ugly scripts.
Also, `make progdocs' builds the programmer's documentation in HTML,
LaTeX version to come later.
Diffstat (limited to 'nest')
0 files changed, 0 insertions, 0 deletions