|
| 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] |