Sorry, I am on a x86_64-slackware-linux-gnu using GNU Texinfo 6.3. Even by reducing the raw HTML to:
@html <p>ciao</p> @end html the footer is still not included in the HTML output. -- "Now feel the funk blast!" Rage Against the Machine - "Calm like a bomb"
