Name                    Last modified       Size  Description

 Parent Directory        31-May-2020 02:36      -  
 _tex2tok.tex            30-Jun-2005 04:14     4k  
 helper.py               30-Jun-2005 04:14     5k  
 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'