The current version of pack cplint does not contain a file doc/semantics.tex
cplint
doc/semantics.tex