; Autogenerated by regenerate-opt-urls.py from gcc/config/pa/pa-hpux1131.opt and generated HTML