patching problems

Francois-Rene Rideau
Sat, 11 Mar 95 13:13:31 MET

   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