doc: use a valid texinfo macro name