no) REPORT_BUGS_TO="";
REPORT_BUGS_TEXI=""
;;
- *) REPORT_BUGS_TO="<URL:$withval>"
+ *) REPORT_BUGS_TO="<$withval>"
REPORT_BUGS_TEXI="@uref{`echo $withval | sed 's/@/@@/g'`}"
;;
esac
else
- REPORT_BUGS_TO="<URL:http://www.sourceware.org/bugzilla/>"
+ REPORT_BUGS_TO="<http://www.sourceware.org/bugzilla/>"
REPORT_BUGS_TEXI="@uref{http://www.sourceware.org/bugzilla/}"
fi;