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.in | |
| 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.in')
| -rw-r--r-- | Build/source/doc/Makefile.in | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/Build/source/doc/Makefile.in b/Build/source/doc/Makefile.in index 4307f24d80b..20ecc75a8a5 100644 --- a/Build/source/doc/Makefile.in +++ b/Build/source/doc/Makefile.in @@ -430,7 +430,7 @@ top_build_prefix = @top_build_prefix@ top_builddir = @top_builddir@ top_srcdir = @top_srcdir@ info_TEXINFOS = texlive.texi -texlive_TEXINFOS = build.texi build-tools +texlive_TEXINFOS = build.texi build-tools.txt EXTRA_DIST = ${PDFS} all: all-am @@ -868,6 +868,16 @@ uninstall-am: uninstall-dvi-am uninstall-html-am uninstall-info-am \ uninstall-pdf-am uninstall-ps-am +# 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 + # Tell versions [3.59,3.63) of GNU make to not export all variables. # Otherwise a system limit (for SysV at least) may be exceeded. .NOEXPORT: |