Modified docs/Makefile.in to avoid dependence on makeinfo.
