GitLab

* doc/misc/Makefile.in ($(buildinfodir)/reftex$(INFO_EXT)), reftex.dvi)
(reftex.pdf): Add dependency on emacsver.texi.
* doc/misc/reftex.texi: Don't include directory part for emacsver.texi;
the Makefile's -I handles it.