Added publishing directives texinfo-top-title and texinfo-top-skip-title