--- 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"