1 files changed, 0 insertions, 51 deletions
diff --git a/cpp/doc/htmlHeader b/cpp/doc/htmlHeader
deleted file mode 100644
index 99e76af519d..00000000000
--- a/cpp/doc/htmlHeader
+++ /dev/null
@@ -1,51 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
-<html>
-    <head>
-	<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-	<title>
-TITLE
-	</title>
-	<style type="text/css">
-	    body {
-                font-family: Arial, Helvetica, sans-serif;
-            }
-	    .Page {
-                width: 850px;
-                margin-left: auto;
-                margin-right: auto;
-            }
-	    .Symbol {
-                font-family: "Courier New", Courier, mono;
-            }
-	    .Synopsis {
-                font-family: "Courier New", Courier, mono;
-                font-weight: bold;
-            }
-	    .Deprecated {
-                font-style: italic;
-            }
-	    .Warning {
-                font-style: italic;
-            }
-	    .Note {
-                font-style: italic;
-            }
-	    .HeaderFooter {
-                width: 100%;
-            }
-	    .Logo {
-                border-style: none;
-            }
-	    .LogoTable {
-	    }
-	    .Button {
-                border-style: none;
-            }
-	    .ButtonGrey {
-                border-style: none;
-                cursor: default;
-            }
-        </style>
-    </head>
-    <body>
-        <div class="Page">