diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/latex2e-help-texinfo/common.texi')
-rw-r--r-- | Master/texmf-dist/doc/latex/latex2e-help-texinfo/common.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/latex/latex2e-help-texinfo/common.texi b/Master/texmf-dist/doc/latex/latex2e-help-texinfo/common.texi index dc17efa9d3d..e27678fcd9c 100644 --- a/Master/texmf-dist/doc/latex/latex2e-help-texinfo/common.texi +++ b/Master/texmf-dist/doc/latex/latex2e-help-texinfo/common.texi @@ -1,6 +1,6 @@ -@c $Id$ +@c $Id: common.texi 701 2018-10-08 14:32:37Z jimhefferon $ @c Public domain. -@set LTXREFMAN_HOME_PAGE puszcza.gnu.org.ua/software/latexrefman +@set LTXREFMAN_HOME_PAGE https://puszcza.gnu.org.ua/software/latexrefman @set LTXREFMAN_BUGS latexrefman@@tug.org @clear HAS-MATH @iftex |