> 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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
