diff options
Diffstat (limited to 'Build/source/doc/texlive.texi')
-rw-r--r-- | Build/source/doc/texlive.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/doc/texlive.texi b/Build/source/doc/texlive.texi index dc6ef468f0d..0c752813516 100644 --- a/Build/source/doc/texlive.texi +++ b/Build/source/doc/texlive.texi @@ -121,7 +121,7 @@ The same text is available online (linked from the program (or look at the end of the source file). @end ignore -@include build.texi +@include tlbuild.texi @node Index @unnumbered Index |