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