aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--docs/Bugpoint.html14
1 files changed, 11 insertions, 3 deletions
diff --git a/docs/Bugpoint.html b/docs/Bugpoint.html
index 19dd0ea..af6155e 100644
--- a/docs/Bugpoint.html
+++ b/docs/Bugpoint.html
@@ -1,8 +1,16 @@
+<!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>LLVM: bugpoint tool</title>
+ <link rel="stylesheet" href="llvm.css" type="text/css">
+ <meta name="author" content="Chris Lattner">
+ <meta name="description"
+ content="A tool for automatic test case reduction">
+</head>
<html>
-<title>LLVM: bugpoint tool</title>
-
-<body bgcolor=white>
+<body>
<center><h1>LLVM: <tt>bugpoint</tt> tool</h1></center>
<HR>