Re: font-latex-match-warning-make void function.

[Stefan Monnier]

>> Also, I had changes in the `README` which I had to throw out because
>> I couldn't find anything corresponding to it in the auctex.git code.
> The README file is generated from intro.texi and preview-readme.texi in
> auctex.git, so README itself isn't under control of git and is listed in
> .gitignore.

Thanks.
I looked for them by searching for `http:` but of course it returned no
match since those problems had already been fixed in `intro.texi`.
So all is well :-(


        Stefan