Index of /support/tex2tok
      Name                    Last modified       Size  Description

[DIR] Parent Directory 30-Mar-2017 14:46 - [TXT] _tex2tok.tex 30-Jun-2005 04:14 4k [   ] helper.py 30-Jun-2005 04:14 5k [TXT] tex2tok.tex 30-Jun-2005 04:14 20k

# Copyright (c) 2005 Jonathan Fine <jfine@pytex.org>
# License: GPL version 2 or (at your option) any later version.
# $Source: /cvsroot/pytex/pytex/tex2tok/README,v $


tex2tok: convert a TeX source file into tokens

usage:  
$ tex '&tex2tok' '\LEX{story}'
This will create a file story.tok.
This file will contain one line for each token.

installation:
$ ./helper.py # create tex2tok.tex from _tex2tok.tex
$ initex tex2tok.tex # create 'tex2tok.fmt'