diff options
Diffstat (limited to 'Docs/Makefile.am')
| -rw-r--r-- | Docs/Makefile.am | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Docs/Makefile.am b/Docs/Makefile.am index fbe0ca41619..1b5d77dea77 100644 --- a/Docs/Makefile.am +++ b/Docs/Makefile.am @@ -1,5 +1,3 @@ -# Monty - # Normally you do not need to remake the files here. But if you want # to you will need the GNU TeX-info utilities. To make a Postscript # files you also need TeX and dvips. To make the PDF file you will |