added texinfo macros