updated master texi file rev3016