OTP-8343 The documentation is now possible to build in an open source

          environment after a number of bugs are fixed and some features
          are added in the documentation build process.

          - The arity calculation is updated.

          - The module prefix used in the function names for bif's are
            removed in the generated links so the links will look like

            http://www.erlang.org/doc/man/erlang.html#append_element-2

            instead of

            http://www.erlang.org/doc/man/erlang.html#erlang:append_element-2

          - Enhanced the menu positioning in the html documentation when a
            new page is loaded.
          - A number of corrections in the generation of man pages (thanks
            to Sergei Golovan)
          - Moved some man pages to more apropriate sections, pages in
            section 4 moved to 5 and pages in 6 moved to 7.
          - The legal notice is taken from the xml book file so OTP's
            build process can be used for non OTP applications.

1 files changed, 0 insertions, 53 deletions

diff --git a/system/doc/top/templates/otp_top.css b/system/doc/top/templates/otp_top.css
deleted file mode 100644
index 1c6d27bd8d..0000000000
--- a/system/doc/top/templates/otp_top.css
+++ /dev/null
@@ -1,53 +0,0 @@
-    BODY          { background: white }
-
-    BODY          { font-family: Verdana, Arial, Helvetica, sans-serif }
-    TH            { font-family: Verdana, Arial, Helvetica, sans-serif }
-    TD            { font-family: Verdana, Arial, Helvetica, sans-serif }
-    P             { font-family: Verdana, Arial, Helvetica, sans-serif }
-
-    .header       { background: #222; color: #fff }
-    .top          { background: #efe }
-    .otp          { background: #efe }
-    .erlang       { background: #ffe }
-    .otp2          { background: #efe }
-    .app          { background: #ffe }
-
-    a:link         { color: blue; text-decoration: none }
-    a:active       { color: blue; text-decoration: none }
-    a:visited      { color: blue; text-decoration: none }
-    body       {
-			margin: 0;
-			padding: 0;
-			border: 0;
-			overflow: scroll;
-			height: 100%;
-			max-height: 100%
-		   }
-	#container {
-			width: 100%;
-			margin: 10px auto;
-			background-color: #fff;
-		   }
-    	#leftnav   {
-			float: left;
-			width: 200px;
-			margin: 0;
-			padding: 1em;
-		   }
-    	#content   {
-			margin-left: 220px; /* set left value to WidthOfFrameDiv */
-			border-left: 1px solid red;
-		   }
-
-	.innertube {
-			margin: 15px; /* Magins for inner DIV inside each DIV (to provide padding) */
-	}
-
-	* html body{ /* IE6 hack */
-	padding: 0 0 0 200px; /* Set value to (0 0 0 WidthOfFrameDiv)*/
-	}
-	* html #maincontent{ /* IE6 hack*/
-	height: 100%;
-	width: 100%;
-	}
-