diff --git a/Manuals/Texinfo/en_US/repository.texinfo b/Manuals/Texinfo/en_US/repository.texinfo index f1f32c4..43f7aa8 100644 --- a/Manuals/Texinfo/en_US/repository.texinfo +++ b/Manuals/Texinfo/en_US/repository.texinfo @@ -16,8 +16,8 @@ Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A -copy of the license is included in the section entitled GNU Free -Documentation License. +copy of the license is included in the section entitled @ref{GNU Free +Documentation License}. @end copying @c -- Titlepage, Contents, Copyright ---------------------------