diff options
| author | Karl Berry <karl@freefriends.org> | 2009-06-20 18:05:18 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2009-06-20 18:05:18 +0000 |
| commit | 918ce26636e564581c1b57aa86da29730c0b86d5 (patch) | |
| tree | 04db4941e7229f63d69eaaf831a69a54b0f44760 /Build/source | |
| parent | 05754612d093a4b5f87755c103ef063089b99a83 (diff) | |
minor docs, error msgs
git-svn-id: svn://tug.org/texlive/trunk@13840 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
| -rwxr-xr-x | Build/source/Build | 3 | ||||
| -rw-r--r-- | Build/source/ChangeLog | 5 |
2 files changed, 7 insertions, 1 deletions
diff --git a/Build/source/Build b/Build/source/Build index 4d1a53b1fd7..5c458f2b547 100755 --- a/Build/source/Build +++ b/Build/source/Build @@ -80,7 +80,8 @@ cd $TL_WORKDIR || exit 1 # allow override of xdvi toolkit, default to standard xaw. : ${TL_CONF_XDVI_TOOLKIT=--with-xdvi-x-toolkit=xaw} -# allow adding arbitrary other configure args. +# allow adding arbitrary other configure args, such as +# --with-tex-banner='TeX Live 2009/SomeDistro'. : ${TL_CONFIGURE_ARGS=} # allow override of make target. diff --git a/Build/source/ChangeLog b/Build/source/ChangeLog index 9a9de9ef3d8..d6cfff8f046 100644 --- a/Build/source/ChangeLog +++ b/Build/source/ChangeLog @@ -1,3 +1,8 @@ +2009-06-18 Karl Berry <karl@tug.org> + + * Build: eradicate -Wdecl stuff, peb has implemented something + more general. + 2009-06-01 Karl Berry <karl@tug.org> * Makefile.am (world): don't echo the echo. |