aboutsummaryrefslogtreecommitdiff
path: root/rpkid/doc/manual.html
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2010-07-11 14:28:17 +0000
committerRob Austein <sra@hactrn.net>2010-07-11 14:28:17 +0000
commit19ecfb3248be1dcc293e2d9325c9fdb56e6c1b17 (patch)
tree7e7cb49ce91fbb2a3d3b69ecab30532aac4cfd78 /rpkid/doc/manual.html
parentbe351077f798dfcf454c5d93c204257b6e2c5918 (diff)
Try adding pointer to autogenerated HTML
svn path=/rpkid/doc/manual.html; revision=3381
Diffstat (limited to 'rpkid/doc/manual.html')
-rw-r--r--rpkid/doc/manual.html11
1 files changed, 11 insertions, 0 deletions
diff --git a/rpkid/doc/manual.html b/rpkid/doc/manual.html
new file mode 100644
index 00000000..bebece35
--- /dev/null
+++ b/rpkid/doc/manual.html
@@ -0,0 +1,11 @@
+<html>
+<!-- $Id$ -->
+<head>
+<meta http-equiv="refresh" content="0; URL=http://www.hactrn.net/rpki-dox/index.html">
+</head>
+<body>
+Automatic redirection failed, please go to
+<a href="http://www.hactrn.net/rpki-dox/">http://www.hactrn.net/rpki-dox/</a>
+</body>
+</html>
+