generating .blif netlists

Hello, I'm trying to work with QUIP (Quartus university Interface package) and the docs claim that I can generate .blif netlists from tcl commands. However, these TcL commands aren't recog...