<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
On 11/21/2013 03:57 PM, Jason Gross wrote:
<blockquote
cite="mid:CAKObCaq=GeOTkBJdgbJPfF0On8xbKX_kLSKXi3dOz9TfDXEV-w@mail.gmail.com"
type="cite">
<div dir="ltr">On Thu, Nov 21, 2013 at 3:45 PM, Adam Chlipala <span
dir="ltr"><<a moz-do-not-send="true"
href="mailto:adamc@csail.mit.edu" target="_blank"
onclick="window.open('https://mail.google.com/mail/?view=cm&tf=1&to=adamc@csail.mit.edu&cc=&bcc=&su=&body=','_blank');return false;">adamc@csail.mit.edu</a>></span>
wrote:<br>
<div class="gmail_extra">
<div class="gmail_quote">
<blockquote class="gmail_quote"
style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div bgcolor="#ffffff" text="#000000">Also, the public Mercurial
repository should now omit all autogenerated
files. It would be helpful to hear from people who manage to build and
install from fresh clones of that repo, which lives at:<br>
<a moz-do-not-send="true" href="http://hg.impredicative.com/urweb"
target="_blank">http://hg.impredicative.com/urweb</a><br>
If you notice any autogenerated files that still appear in a fresh
clone, I'd be very glad to hear about them.<br>
</div>
</blockquote>
<div><br>
</div>
<div>They all seem to be gone. However, I think it's standard
practice to include an executable "autogen.sh" file in the top level
directory which goes something along the lines of</div>
<div><br>
</div>
<div>#!/bin/sh</div>
<div>autoreconf -fvi</div>
</div>
</div>
</div>
</blockquote>
<br>
Ah, thanks, that makes sense. The invocation I use is:<br>
autoreconf<br>
libtoolize -cf<br>
automake --add-missing --force-missing --copy<br>
autoreconf<br>
<br>
Does the one you're suggesting do the same things?<br>
</body>
</html>