diff options
author | michelou <michelou@epfl.ch> | 2006-07-27 14:46:11 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2006-07-27 14:46:11 +0000 |
commit | dc344b2fd66f8c0b883a52a92f3c8a2abbaedf92 (patch) | |
tree | fe37b2f418248206fe3bc83c9fb3722abd3c1de5 /src/manual/scala/tools | |
parent | 29fd52746140dd0468695aa2d1b0337e98ac8278 (diff) | |
download | scala-dc344b2fd66f8c0b883a52a92f3c8a2abbaedf92.tar.gz scala-dc344b2fd66f8c0b883a52a92f3c8a2abbaedf92.tar.bz2 scala-dc344b2fd66f8c0b883a52a92f3c8a2abbaedf92.zip |
added details for -g option and default values ...
added details for -g option and default values in man pages
Diffstat (limited to 'src/manual/scala/tools')
-rw-r--r-- | src/manual/scala/tools/docutil/EmitHtml.scala | 12 | ||||
-rw-r--r-- | src/manual/scala/tools/docutil/EmitManPage.scala | 13 | ||||
-rw-r--r-- | src/manual/scala/tools/docutil/ManPage.scala | 1 |
3 files changed, 21 insertions, 5 deletions
diff --git a/src/manual/scala/tools/docutil/EmitHtml.scala b/src/manual/scala/tools/docutil/EmitHtml.scala index 4b0f0c0405..12b692a8e8 100644 --- a/src/manual/scala/tools/docutil/EmitHtml.scala +++ b/src/manual/scala/tools/docutil/EmitHtml.scala @@ -20,11 +20,19 @@ object EmitHtml { /* */ def emitSection(section: Section, depth: int): Unit = { + def emitPara(text: AbstractText): Unit = { + out.println("<div>") + emitText(text) + out.println("\n</div>") + } def emitText(text: AbstractText): Unit = text match { case seq:SeqText => seq.components.foreach(emitText) + case seq:SeqPara => + seq.components.foreach(emitPara) + case Text(text) => out.print(escape(text)) @@ -77,7 +85,7 @@ object EmitHtml { out.print("</a>") case _ => - error("unknown text node " + text) + error("unknown text node: " + text) } def emitParagraph(para: Paragraph): Unit = @@ -122,7 +130,7 @@ object EmitHtml { emitSection(sect, depth + 1) case _ => - error("unknown paragraph node " + para) + error("unknown paragraph node: " + para) } val name = section.title.replaceAll("\\p{Space}", "_").toLowerCase() diff --git a/src/manual/scala/tools/docutil/EmitManPage.scala b/src/manual/scala/tools/docutil/EmitManPage.scala index 1621078ef3..fd9e0d9c05 100644 --- a/src/manual/scala/tools/docutil/EmitManPage.scala +++ b/src/manual/scala/tools/docutil/EmitManPage.scala @@ -20,11 +20,18 @@ object EmitManPage { text.replaceAll("-", "\\-") def emitSection(section: Section, depth: int): Unit = { + def emitPara(text: AbstractText): Unit = { + emitText(text) + out.println("\n.IP") + } def emitText(text: AbstractText): Unit = text match { case seq:SeqText => seq.components.foreach(emitText) + case seq:SeqPara => + seq.components.foreach(emitPara) + case Text(text) => out.print(escape(text)) @@ -70,7 +77,7 @@ object EmitManPage { emitText(label) case _ => - error("unknown text node " + text) + error("unknown text node: " + text) } def emitParagraph(para: Paragraph): Unit = @@ -115,10 +122,10 @@ object EmitManPage { emitText(text) case EmbeddedSection(sect) => - emitSection(sect, depth+1) + emitSection(sect, depth + 1) case _ => - error("unknown paragraph node " + para) + error("unknown paragraph node: " + para) } out.println(".\\\"") diff --git a/src/manual/scala/tools/docutil/ManPage.scala b/src/manual/scala/tools/docutil/ManPage.scala index 717e98eb74..a85c91df88 100644 --- a/src/manual/scala/tools/docutil/ManPage.scala +++ b/src/manual/scala/tools/docutil/ManPage.scala @@ -13,6 +13,7 @@ object ManPage { } case class SeqText(components: AbstractText*) extends AbstractText + case class SeqPara(components: AbstractText*) extends AbstractText case class Text(text: String) extends AbstractText case object MDash extends AbstractText case object NDash extends AbstractText |