diff make-dist @ 110590:21047b3216d2

Don't break the build if we don't have the gnutls libraries.
author Lars Magne Ingebrigtsen <larsi@gnus.org>
date Sun, 26 Sep 2010 17:18:47 +0200
parents 8d976ea08d41
children 3869cf7d1e82
line wrap: on
line diff