Add the ability of the Tex builder to change the name of the created
authormanagan <managan@fdb21ef1-2011-0410-befe-b5e4ea1792b1>
Wed, 10 Sep 2008 16:43:20 +0000 (16:43 +0000)
committermanagan <managan@fdb21ef1-2011-0410-befe-b5e4ea1792b1>
Wed, 10 Sep 2008 16:43:20 +0000 (16:43 +0000)
commitf825dc4a899de60f0f0a0db3880d71c0b6acdd2c
treeb28dbdbf322cb38b006752d51eefce93f0843224
parent8d2d86175baed99dfb68f985e6dbb866876bbf13
Add the ability of the Tex builder to change the name of the created
file to what the user requested in the target. Tex produces a standard name
based on the source so this was not being done.

git-svn-id: http://scons.tigris.org/svn/scons/trunk@3384 fdb21ef1-2011-0410-befe-b5e4ea1792b1
src/engine/SCons/Tool/tex.py
test/TEX/rename_result.py [new file with mode: 0644]