Sorry. It seems we should have been patching doc/Makefile.in not doc/Makefile as the latter is generated by the former during the build (not sure why it is keep at all but anyway).
I'm sorry I messed it up the first time. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
