|
From: | John Darrington |
Subject: | [patch #6262] How to not install developers guide by default? |
Date: | Sun, 11 Nov 2007 07:20:30 +0000 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.1.1) Gecko/20061205 Iceweasel/2.0.0.1 (Debian-2.0.0.1+dfsg-2) |
Follow-up Comment #6, patch #6262 (project pspp): noinst_TEXINFOS is what I would have tried. I don't have any other suggestions. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/patch/?6262> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |