#! /usr/bin/sed -f# allow "%" as a comment char, but only at the beginning of the lines/^%/@c /#s/[^\\]%.*$//s/^\\%/%/#preserve blanks and braces in @example blocks/@example/,/@end example/s/{/@{/g/@example/,/@end example/s/}/@}/g/@example/,/@end example/p/@example/,/@end example/ d/@smallexample/,/@end smallexample/s/{/@{/g/@smallexample/,/@end smallexample/s/}/@}/g/@smallexample/,/@end smallexample/p/@smallexample/,/@end smallexample/ d# remove leading blankss/^[]*//
