1*f8dd34f6Sespie\input texinfo 2*f8dd34f6Sespie@setfilename html-docdesc.info 3*f8dd34f6Sespie@settitle HTML docdesc test 4*f8dd34f6Sespie 5*f8dd34f6Sespie@documentdescription 6*f8dd34f6SespieThis is the explicit document description. 7*f8dd34f6Sespie@end documentdescription 8*f8dd34f6Sespie 9*f8dd34f6Sespie@node Top 10*f8dd34f6Sespie@top Top of HTML docdesc test 11*f8dd34f6Sespie 12*f8dd34f6SespieThis is the top. 13*f8dd34f6Sespie 14*f8dd34f6Sespie@bye 15