chiark / gitweb /
simplifications to the tex prefix rules; they are completely