Improvements for makeinfo-based documentation