diff --git a/docs/machine3.html b/docs/machine3.html
deleted file mode 100644
index 7cd89ab..0000000
--- a/docs/machine3.html
+++ /dev/null
@@ -1,11 +0,0 @@
-<!DOCTYPE html>
-<html>
-<head>
-   <!-- HTML meta refresh URL redirection -->
-   <meta http-equiv="refresh"
-   content="0; url=http://g2s3.com/labs/machine">
-</head>
-<body>
-   <p>Please click <a href="http://g2s3.com/labs/machine">here</a> if you are not redirected within a few seconds.</p>
-</body>
-</html>
