\input texinfo   @c -*-texinfo-*-
@c %**start of header
@setfilename quotation-sets-indentation-for-html-plus-blockquote.info
@settitle Example inside quotation is doubly indented
@c %**end of header


@node Top
@top Example inside quotation is doubly indented in HTML (not counting the blockquote)

@quotation
@example 
Test for indentation: This text is indented with spaces twice (10 spaces: 5 from @@quotation 
and 5 from @@example), but should only be once (5 from @@example), because the 
indentation of @@quotation is already done by <blockquote>...
@end example
@end quotation

@quotation
@verbatim
Similarly, text in @verbatim environments inside @quotation IS indented by 5 spaces...
@end verbatim
@end quotation

@bye