The various user interfaces of PIPS use the pipsmake-rc.tex file to
deduce some automatic name completion and graphical menus for WPIPS
and EPIPS . For the graphical interface, the transformation menu
layout is specified by the \begin{PipsMenu}{Transformations}
... \end{PipsMenu} LaTeX environment of the pipsmake-rc
file.
Since the phase names are not very user-friendly, some aliases are defined also in the pipsmake-rc file to be used instead of the phase names in the Options menu for example.