I just did a chroot on my old Fedora partition (I don't have it
bootable anymore) and apparently successfully built the Fedora RPMs
and uploaded them.

Cross fingers,

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum


_______________________________________________
auctex-devel mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/auctex-devel

Reply via email to