summaryrefslogtreecommitdiff
path: root/Build/source/doc/texlive.texi
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/doc/texlive.texi')
-rw-r--r--Build/source/doc/texlive.texi2
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