|
@@ -469,6 +469,10 @@ class HtmlPrinter {
|
|
// unixify line endings
|
|
// unixify line endings
|
|
doc = doc.split("\r\n").join("\n").split("\r").join("\n");
|
|
doc = doc.split("\r\n").join("\n").split("\r").join("\n");
|
|
|
|
|
|
|
|
+ // trim stars
|
|
|
|
+ doc = ~/^([ \t]*)\*+/gm.replace(doc, "$1");
|
|
|
|
+ doc = ~/\**[ \t]*$/gm.replace(doc, "");
|
|
|
|
+
|
|
// process [] blocks
|
|
// process [] blocks
|
|
var rx = ~/\[/;
|
|
var rx = ~/\[/;
|
|
var tmp = new StringBuf();
|
|
var tmp = new StringBuf();
|
|
@@ -512,10 +516,6 @@ class HtmlPrinter {
|
|
else
|
|
else
|
|
doc = Lambda.map(parts,function(x) { return "<p>"+StringTools.trim(x)+"</p>"; }).join("\n");
|
|
doc = Lambda.map(parts,function(x) { return "<p>"+StringTools.trim(x)+"</p>"; }).join("\n");
|
|
|
|
|
|
- // trim stars
|
|
|
|
- doc = ~/^([ \t]*)\*+/gm.replace(doc, "$1");
|
|
|
|
- doc = ~/\**[ \t]*$/gm.replace(doc, "");
|
|
|
|
-
|
|
|
|
// put back code parts
|
|
// put back code parts
|
|
var i = 0;
|
|
var i = 0;
|
|
for( c in codes )
|
|
for( c in codes )
|