It'd be good if byte compiler warnings were not setup to be fatal when installing, ie. don't set byte-compile-error-on-warn. [...]
Of course that also raises the matter whether a byte compile should be done with "emacs -q -no-site-file" to keep out packaged add-ons like Thanks for these two hints. I'll fix this with the next upload. Both points come from the upstream installation procedure of Proof General. Bye, Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
