manload $FUNCS_HOME/manuals/ioi-man
manload $FUNCS_HOME/manuals/graphics-man
manload $FUNCS_HOME/manuals/fileformats-man
