Lars Magne Ingebrigtsen <[email protected]> writes: > Štěpán Němec <[email protected]> writes: > >>> ("list.\\1" "From:.* \\(.*\\)[email protected]") >>> >>> So shouldn't the dot after "majordomo" be double escaped? >> >> Yeah, that's obviously just an error in the documentation, but a mostly >> harmless one, as "." matches the dot anyway... > > It's more readable without the \\, and the chance for false positives is > minuscule, so I think I'll just leave it as is.
So: The person who wrote the stuff, understands it in intense detail without the documentation, and therefore has little or no need of the documentation thinks the documentation is more readable as it is. The person who is trying to learn the stuff, and must rely heavily on said documentation thinks the documentation would be more readable with a a minor fix. Hmmm. :-) Tommy _______________________________________________ info-gnus-english mailing list [email protected] http://lists.gnu.org/mailman/listinfo/info-gnus-english
