Add texinfo target to docs makefile