From f0d8899756a0afa05e6d76f5035e05e486d2e925 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Thu, 6 Mar 2008 15:35:47 +0000
Subject: [PATCH] * Remove texinfo/texi2html from tetex (not needed).

svn path=/nixpkgs/trunk/; revision=10991
---
 pkgs/misc/tex/tetex/builder.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pkgs/misc/tex/tetex/builder.sh b/pkgs/misc/tex/tetex/builder.sh
index f3fe32fbb70..b43b7ed93ec 100644
--- a/pkgs/misc/tex/tetex/builder.sh
+++ b/pkgs/misc/tex/tetex/builder.sh
@@ -12,6 +12,8 @@ configureFlags="\
   --without-x11 \
   --without-xdvik \
   --without-oxdvik \
+  --without-texinfo \
+  --without-texi2html \
   --with-system-zlib \
   --with-system-pnglib \
   --with-system-ncurses \