# comment // signs
s!\s*//\s*(.*)\n!$1!;
- # replace quotation marks by the appropriate HTML quotation marks
- s!``!“!g;
- s!''!”!g;
-
- # replace double dashes in comments by —
- s!--!—!g;
-
# second, replace section headers, and generate addressable
# anchor
if ( /\@sect/ ) {
$_ = "\n<a name=\"$sect_name\"></a>" . $_;
}
+ # replace quotation marks by the appropriate HTML quotation marks
+ s!``!“!g;
+ s!''!”!g;
+
+ # replace double dashes in comments by —
+ s!--!—!g;
+
# then replace references to other example programs automatically:
s!(step-\d+)!<a href="\1.html" target="body">\1</a>!g;
# second, replace section headers, and generate addressable
# anchor
if ( /\@sect/ ) {
- # replace quotation marks by the appropriate HTML quotation marks
- s!``!“!g;
- s!''!”!g;
-
- # replace double dashes in comments by —
- s!--!—!g;
-
m!\@sect(\d)\{(.*)\}\s*$!;
$sect_name = $2;
In the beginning the Universe was created. This has made a lot of
people very angry and has been widely regarded as a bad move.
Douglas Adams