From cacf375d8f69bf47eff39ec73af28ad58b185b0e Mon Sep 17 00:00:00 2001
From: Martin Nilsson <mani@lysator.liu.se>
Date: Sun, 11 Apr 2004 23:18:37 +0200
Subject: [PATCH] No attributes to generated manual tag.

Rev: refdoc/presentation/make_html.pike:1.69
---
 refdoc/presentation/make_html.pike | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/refdoc/presentation/make_html.pike b/refdoc/presentation/make_html.pike
index 07f10f8fbe..7405f9c16a 100644
--- a/refdoc/presentation/make_html.pike
+++ b/refdoc/presentation/make_html.pike
@@ -1192,7 +1192,7 @@ int main(int num, array args) {
     Node file = Node(XML_ELEMENT, "file", (["name":fn]), 0);
     file->add_child( chap );
 
-    Node top = Node(XML_ELEMENT, "manual", (["manual":"something"]), 0);
+    Node top = Node(XML_ELEMENT, "manual", ([]), 0);
     top->add_child( file );
     n = top;
   }
-- 
GitLab