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