diff options
Diffstat (limited to 'Build/source/doc/Makefile.am')
| -rw-r--r-- | Build/source/doc/Makefile.am | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Build/source/doc/Makefile.am b/Build/source/doc/Makefile.am index a734cab4f44..59c4aaecd77 100644 --- a/Build/source/doc/Makefile.am +++ b/Build/source/doc/Makefile.am @@ -1,20 +1,21 @@ ## Makefile.am for the TeX Live subdirectory ./doc/ ## -## Copyright 2013, 2014 Peter Breitenlohner <tex-live@tug.org> +## Copyright 2013-2014 Peter Breitenlohner <tex-live@tug.org> ## You may freely use, modify and/or distribute this file. ## ## The info files -info_TEXINFOS = texlive.texi -texlive_TEXINFOS = tlbuild.texi build-tools.txt +info_TEXINFOS = tlbuild.texi +texlive_TEXINFOS = build-tools.txt EXTRA_DIST = ${PDFS} splitinfo.gawk # just for development of the doc. -readme-files: texlive.texi +readme-files: tlbuild.texi rm -f README.* makeinfo --no-split -o /tmp/i $< # for error checking makeinfo --plaintext -o - $< \ | tee /tmp/a \ | gawk -f $(srcdir)/splitinfo.gawk ls -l README.* +# head -8 README.* .PHONY: readme-files |