[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: --dvi vs. --pdf
From: |
Patrice Dumas |
Subject: |
Re: --dvi vs. --pdf |
Date: |
Sat, 5 Nov 2011 11:10:01 +0100 |
User-agent: |
Mutt/1.4.2.2i |
On Sat, Nov 05, 2011 at 12:10:53AM +0000, Karl Berry wrote:
> which seems like the right thing. So I guess that is not actually what
> is getting called?
Indeed, wes simply a wrong use of exec... Thanks for the report!
--
Pat
- --dvi vs. --pdf, Karl Berry, 2011/11/04
- Re: --dvi vs. --pdf,
Patrice Dumas <=