diff options
Diffstat (limited to 'Build/source/doc/Makefile.in')
-rw-r--r-- | Build/source/doc/Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Build/source/doc/Makefile.in b/Build/source/doc/Makefile.in index 349289b01c0..7fca20411dd 100644 --- a/Build/source/doc/Makefile.in +++ b/Build/source/doc/Makefile.in @@ -451,7 +451,10 @@ info_TEXINFOS = tlbuild.texi tlbuild_TEXINFOS = build-tools.txt \ tlbuild-incl/install-tl.texi tlbuild-incl/tlmgr.texi -EXTRA_DIST = splitinfo.gawk +EXTRA_DIST = \ + README.solaris \ + splitinfo.gawk + # no reasonable way to avoid it with the pod doc. MAKEINFOFLAGS = --set INFO_SPECIAL_CHARS_WARNING=0 |