>> 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