[Ur] two small patches

[Julian Squires]

Hi,

Attached are two one-liner patches.  One adds hyperref to the manual so
that the table of contents shows up correctly in PDF readers (very handy
if you spend much time jumping around in the manual as I do), the other
fixes an InvalidArc exception when one gives "file" directives in one's
project file that contain slashes in the local filename.

Cheers.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 180 bytes
Desc: not available
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150424/57f7b193/attachment.sig>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: hyperref.patch
Type: text/x-diff
Size: 653 bytes
Desc: not available
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150424/57f7b193/attachment.patch>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: file-slashes.patch
Type: text/x-diff
Size: 857 bytes
Desc: not available
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150424/57f7b193/attachment-0001.patch>
-------------- next part --------------

--
Julian Squires