Made a few fixes to get 'make distcheck' working.  Turned off texi file processing for the moment.