- fix texinfo syntax errors
- ignore undefined gets