patching problems

[Francois-Rene Rideau]

   Ahem.
   I had some problems with patch. You may have had problems applying
the patches I produced.
   Here is the right way to apply patches:
* use command << cat patch* | grep -v '^\\' | patch -p0 -E | tee output.log >>
* answer "n" when it asks about reverse-applying a patch to index.html:
 I had index.html linked to Tunes.html, and it wrote the diff twice;
 thus patch detects the patch having been already applied to index.html !
   I removed that index.html being a link to Tunes.html, so I published
a new release 0.0.0.10...