Hello Maybe this is a little off topic but couldn't detex be included in tetex-extra? The package however is not exactly under GPL as far as I can see. Thanks Uwe Brauer