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.