Hi, Please find attached an update for the dev-util/tla ebuild. It aims to allow merging latest pre-release of version 1.2 of tla. Note that it's based on the version 1.1 of the tla ebuild, with a correction to install html _and_ ps doc.
Created attachment 25559 [details, diff] tla-1.2_pre2.ebuild ( Update )
I've corrected the documentation problem.