<div class="gmail_quote">On Thu, Feb 2, 2012 at 8:43 PM, Waldek Hebisch <span dir="ltr"><<a href="mailto:hebisch@math.uni.wroc.pl">hebisch@math.uni.wroc.pl</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">This code got mangled in the mail, but AFAICS the change is</div>
to remove 'echo' command at the beginning and add 'touch' at<br>
the end. Still fails:<br>
etags: Unknown language "none" in "language" option<br></blockquote></div><br>The problem is that there are too many etags around and their options are different. If someone could sanitize this, then it would be nice but it is a very low priority for me right now.<div>
<br></div><div>Juanjo<br clear="all"><div><br></div>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a><br>
</div>