> Forwarding downstream bug: <https://bugs.gentoo.org/426646>
> Byte-compilation of ProofGeneral fails if Emacs was configured with
> option --without-x, because image-load-path is not defined in this
> case:

PG devel might push this up to Emacs, arguing that image-load-path
should be always defined.


        Stefan
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to