|
| From: | Rune Zedeler |
| Subject: | Re: configure |
| Date: | Sat, 29 Jun 2002 01:30:15 -0100 |
| User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.9) Gecko/20020513 |
Rune Zedeler wrote:
Just installed redhat 7.3 ...
... And now the dvi-doc builds :-)))Btw, why does "make dvi" make png-files? Takes a lot of times and the files are not used.
-Rune
| [Prev in Thread] | Current Thread | [Next in Thread] |