X-Git-Url: http://git.marmaro.de/?a=blobdiff_plain;f=configure.in;h=111c53f5bdc37a8653f67081daead1c2d2c87207;hb=refs%2Ftags%2Fnmh-1_0_3;hp=3caecbd234b2cfe37167f32ca254b79cdc4e0817;hpb=6ac9c5dca97f6ecc5008d65f8f1e7ffcd8d6c77e;p=mmh

diff --git a/configure.in b/configure.in
index 3caecbd..111c53f 100644
--- a/configure.in
+++ b/configure.in
@@ -699,7 +699,7 @@ AC_OUTPUT(Makefile config/Makefile h/Makefile sbr/Makefile uip/Makefile \
           zotnet/Makefile zotnet/mts/Makefile zotnet/tws/Makefile \
           zotnet/mf/Makefile zotnet/bboards/Makefile mts/Makefile \
           mts/smtp/Makefile mts/sendmail/Makefile mts/mmdf/Makefile \
-          etc/Makefile man/Makefile, \
+          etc/Makefile docs/Makefile man/Makefile, \
           [test -z "$CONFIG_HEADERS" || echo > stamp-h])
 
 dnl Umm, what's the point of these assignments??  -- <dan-nmh@dilvish.speed.net>
@@ -714,7 +714,7 @@ if test x"$enable_pop" = x"yes"; then
         if test x"$enable_apop" = x"yes"; then
                 pop_kinds="${pop_kinds} apop"
         fi
-        if test x"$with_krb4" = x"yes"; then
+	if test x"$with_krb4" != x -a x"$with_krb4" != x"no"; then
                 pop_kinds="${pop_kinds} kpop"
         fi
         if test "$pop_kinds" = "yes (pop"; then