[Nix-dev] proofgeneral: fix build

[Karn Kallio]

Proofgeneral does not build with the newest texinfo; attached patch fixes 
build by using older texinfo.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-proofgeneral-fix-build-with-earlier-version-of-texin.patch
Type: text/x-patch
Size: 824 bytes
Desc: not available
Url : http://lists.science.uu.nl/pipermail/nix-dev/attachments/20140203/13445d96/attachment.bin