Invoke wget with -C off, to disable proxy caches.

[bison.git] / data / lalr1.cc

diff --git a/data/lalr1.cc b/data/lalr1.cc
index 1e3162db0b886355286b24b4d1459e978c5d9f3c..bab5e5f66f64d3139a09f6f1dcd636ba7ae2f155 100644 (file)
--- a/data/lalr1.cc
+++ b/data/lalr1.cc
@@ -17,8 +17,6 @@ m4_divert(-1)
 # Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
 # 02111-1307  USA
 
-m4_include([c.m4])
-
 ## ---------------- ##
 ## Default values.  ##
 ## ---------------- ##