Index of /support/tex2tok
|
Name Last modified Size Description
Parent Directory 25-Jan-2021 18:52 -
_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'