>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes:
[...] Paul> As a special exception to the GNU General Public License, Paul> if you distribute this file as part of a package that Paul> automatically derives from this file a configuration Paul> script (and perhaps some associated intermediate files), Paul> then you may distribute this file and the derived files Paul> for that purpose, under the same terms that you use for Paul> the rest of the package. [...] President Eggert, you have my vote! -- Alexandre Duret-Lutz
