lib/maths-menu.el doesn't compile on XEmacs 21.4

[courtieu]

> xemacs -batch -q -no-site-file -eval '(setq load-path (append (mapcar (lambda (d) (concat "/home/courtieu/pg/cvs_NOCHANGE/" (symbol-name d))) (quote (acl2 ccc coq demoisa hol98 isar lclam lego pgshell phox plastic twelf generic lib mmm))) load-path))' -f batch-byte-compile lib/maths-menu.el
> > > Compiling /home/courtieu/pg/cvs_NOCHANGE/lib/maths-menu.el...
> > > While compiling toplevel forms in file /home/courtieu/pg/cvs_NOCHANGE/lib/maths-menu.el:
> > >   !! Invalid read syntax (("#"))
>>> > >>> Error occurred processing lib/maths-menu.el: 
> > > Invalid read syntax: "#"

I am using debian unstable xemacs version: 21.4 (patch 21)...

[David Aspinall]

This file doesn't work in XEmacs 21.4, and getting it to compile there is difficult!

Fixed now, by adding a special rule to the Makefile to ignore compile errors for this file.