From 24bbfba3383f19f1b2e238574bd289d93b9affcd Mon Sep 17 00:00:00 2001 From: michelou Date: Wed, 14 Jun 2006 08:26:25 +0000 Subject: always generate doctype information --- src/manual/scala/tools/docutil/EmitHtml.scala | 17 +++++++---------- 1 file changed, 7 insertions(+), 10 deletions(-) (limited to 'src/manual') diff --git a/src/manual/scala/tools/docutil/EmitHtml.scala b/src/manual/scala/tools/docutil/EmitHtml.scala index a7c10fd24a..faac8e90dc 100644 --- a/src/manual/scala/tools/docutil/EmitHtml.scala +++ b/src/manual/scala/tools/docutil/EmitHtml.scala @@ -158,12 +158,10 @@ object EmitHtml { out.println("") } - def emitDocument(document: Document, addDocType: Boolean) = { - if (addDocType) { - out.println("") - out.println("") - } - out.println("") + def emitDocument(document: Document) = { + out.println("") + out.println("") + out.println("\n") out.println("") out.println("" + document.title + " man page") @@ -177,7 +175,7 @@ object EmitHtml { out.println(" p { margin:0 2em 0 2em; text-align:justify; }") out.println(" //-->") out.println("") - out.println("") + out.println("\n") out.println("") val name = document.title + "(" + document.category.id + ")" @@ -329,7 +327,7 @@ object EmitHtml { */ def main(args: Array[String]) = { if (args.length < 1) { - System.err.println("usage: EmitHtml [ -short ]") + System.err.println("usage: EmitHtml ") exit(1) } try { @@ -337,8 +335,7 @@ object EmitHtml { val clasz = cl.loadClass(args(0)) val meth = clasz.getDeclaredMethod("manpage", Predef.Array[Class]()) val doc = meth.invoke(null, Predef.Array[Object]()).asInstanceOf[Document] - val addDocType = (args.length > 1 && "-doctype".equals(args(1))) - emitDocument(doc, addDocType) + emitDocument(doc) } catch { case ex: Exception => ex.printStackTrace() -- cgit v1.2.3