--- configure.orig 2009-12-10 17:22:18.000000000 +0200 +++ configure 2009-12-10 17:22:29.000000000 +0200 @@ -4541,7 +4541,7 @@ EXPORT_SOURCE_FILE="aclient.c wwwget.c skio.c skclient.c sk.h" -EXPORT_MAN_FILE="sk.3 aclient.1 wwwget.1 aclient.tex" +EXPORT_MAN_FILE="sk.3 aclient.1 wwwget.1" EXPORT_MAN_TEX="man.tex" CASE="dev"