diff options
Diffstat (limited to 'INSTALL.REPO')
| -rw-r--r-- | INSTALL.REPO | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/INSTALL.REPO b/INSTALL.REPO index 384fff9cc..cff37c30e 100644 --- a/INSTALL.REPO +++ b/INSTALL.REPO @@ -99,14 +99,11 @@ Troff errors of the types may safely be ignored. -A few sanity checks can be done with the command: +Several dozen sanity checks can be done with the command: $ make check -This will perform some tests on the generated examples. However, -these checks are for the moment quite limited. - -The groff texinfo manual can be generated in pdf and html formats +The groff Texinfo manual can be generated in PDF and HTML formats with: $ make doc |