@comment PKG_FORMAT_REVISION:1.1
@name detex-2.7
@comment ORIGIN:print/detex
@cwd /usr/local
man/man1/detex.1.gz
@comment MD5:5bc6064a77f11d0e94a9974aef2743f2
@unexec rm -f %D/man/man1/detex.1 %D/man/man1/detex.1.gz
bin/detex
@comment MD5:c51fea7cbe93a4e0107120832cfd8578
@cwd .
@ignore
+COMMENT
@ignore
+DESC
