casa-mp-base

--- configure.orig  2014-05-12 05:51:04.000000000 -0700

+++ configure   2014-07-14 09:42:27.000000000 -0700

@@ -3943,7 +3943,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"