# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1385069782 18000
# Node ID de3afd3ecf0725dac1980b553d22e2489555e3d2
# Parent  1809eb33ef14d8d6d169371272efb16bbeef1bc9
Add autogen.sh

diff -r 1809eb33ef14 -r de3afd3ecf07 autogen.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/autogen.sh	Thu Nov 21 16:36:22 2013 -0500
@@ -0,0 +1,2 @@
+#!/bin/sh
+autoreconf -fvi