1 files changed, 0 insertions, 63 deletions
diff --git a/man/man1/time.html b/man/man1/time.html
deleted file mode 100644
index 4646754f..00000000
--- a/man/man1/time.html
+++ /dev/null
@@ -1,63 +0,0 @@
-<head>
-<title>time(1) - Plan 9 from User Space</title>
-<meta content="text/html; charset=utf-8" http-equiv=Content-Type>
-</head>
-<body bgcolor=#ffffff>
-<table border=0 cellpadding=0 cellspacing=0 width=100%>
-<tr height=10><td>
-<tr><td width=20><td>
-<tr><td width=20><td><b>TIME(1)</b><td align=right><b>TIME(1)</b>
-<tr><td width=20><td colspan=2>
-    <br>
-<p><font size=+1><b>NAME     </b></font><br>
-
-<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td>
-
-    time &ndash; time a command<br>
-    
-</table>
-<p><font size=+1><b>SYNOPSIS     </b></font><br>
-
-<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td>
-
-    <tt><font size=+1>time</font></tt> <i>command</i> [ <i>arg ...</i> ]<br>
-    
-</table>
-<p><font size=+1><b>DESCRIPTION     </b></font><br>
-
-<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td>
-
-    The <i>command</i> is executed with the given arguments; after it is
-    complete, <i>time</i> reports on standard error the program&#8217;s elapsed
-    user time, system time, and real time, in seconds, followed by
-    the command line.<br>
-    
-</table>
-<p><font size=+1><b>SOURCE     </b></font><br>
-
-<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td>
-
-    <tt><font size=+1>/usr/local/plan9/src/cmd/time.c<br>
-    </font></tt>
-</table>
-<p><font size=+1><b>SEE ALSO     </b></font><br>
-
-<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td>
-
-    <a href="../man1/prof.html"><i>prof</i>(1)</a><br>
-    
-</table>
-
-<td width=20>
-<tr height=20><td>
-</table>
-<!-- TRAILER -->
-<table border=0 cellpadding=0 cellspacing=0 width=100%>
-<tr height=15><td width=10><td><td width=10>
-<tr><td><td>
-<center>
-<a href="../../"><img src="../../dist/spaceglenda100.png" alt="Space Glenda" border=1></a>
-</center>
-</table>
-<!-- TRAILER -->
-</body></html>