[Ur] two small patches

[Adam Chlipala]

Thanks; both patches accepted.

On 04/24/2015 07:55 AM, Julian Squires wrote:
> 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.