# Page start and end are delimited by /** and **/ # we keep the end unchanged, the header is extended s/\/\*\* Example \(0*\)\([0-9]*\) \(.*\)$/\/\*\* \\page example\1\2 Tutorial \2: \3\n \\image html \"\1\2shot.jpg\"\n \\image latex \"\1\2shot.jpg\"/ # All other comments start and end code sections s/\([^\*]\)\*\//\1\\code/ s/^\*\//\\code/ s/\/\*\([^\*]\)/\\endcode \1/ s/\/\*$/\\endcode\n/ #remove DOS line endings s/\r//g