|
| From: | John W. Eaton |
| Subject: | Re: building docs |
| Date: | Sun, 01 Dec 2013 11:59:48 -0500 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20131005 Icedove/17.0.9 |
On 12/01/2013 11:56 AM, Daniel J Sebald wrote:
The option --no-gui-libs is also needed along with --no-gui.
If you use --no-gui-libs, then you don't need --no-gui. jwe
| [Prev in Thread] | Current Thread | [Next in Thread] |