these commands/option All of these are documented in the web2c manual. http://tug.org/texinfohtml/web2c.html There should also be man pages on your system. Best, Karl