Re: [C] xemacsweb: Update pxref in build.texi according to change in xemacs manual