diff options
author | Karl Berry <karl@freefriends.org> | 2014-04-08 18:39:18 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-04-08 18:39:18 +0000 |
commit | c7bc49d06e3d005eb2541be8c4e59e8e0b4ac08a (patch) | |
tree | d3510868da06e9074a8a0fc7f93805d828759227 /Build/source/doc/Makefile.am | |
parent | b50a5847011e3cc3058d2a43b5204ba04e289802 (diff) |
general texlive.texi update for Texinfo, etc.
git-svn-id: svn://tug.org/texlive/trunk@33406 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/doc/Makefile.am')
-rw-r--r-- | Build/source/doc/Makefile.am | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/Build/source/doc/Makefile.am b/Build/source/doc/Makefile.am index 4b4e657db4f..705b4c2a123 100644 --- a/Build/source/doc/Makefile.am +++ b/Build/source/doc/Makefile.am @@ -1,11 +1,20 @@ -## Makefile.am for the TeX Live subdirectory doc/ +## Makefile.am for the TeX Live subdirectory ./doc/ ## -## Copyright (C) 2013 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 = build.texi build-tools +texlive_TEXINFOS = build.texi build-tools.txt EXTRA_DIST = ${PDFS} +# just for development of the doc. +readme-files: texlive.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.* +.PHONY: readme-files |