Add ERT manual to Info dir file.