info-dir-section.diff
build-pdf-documentation
