reverted .texi file and fixed Makefile.am