diff options
Diffstat (limited to 'src/engine/SCons/Platform/win32.py')
-rw-r--r-- | src/engine/SCons/Platform/win32.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/engine/SCons/Platform/win32.py b/src/engine/SCons/Platform/win32.py index aa9a75f..9bcea18 100644 --- a/src/engine/SCons/Platform/win32.py +++ b/src/engine/SCons/Platform/win32.py @@ -32,6 +32,10 @@ selection method. __revision__ = "__FILE__ __REVISION__ __DATE__ __DEVELOPER__" +def tool_list(): + return ['dvipdf', 'latex', 'dvips', 'g77', 'lex', 'lib', 'msvc', + 'pdflatex', 'pdftex', 'tex', 'yacc', 'mslink' ] + def generate(env): if not env.has_key('ENV'): env['ENV'] = {} |