diff options
Diffstat (limited to 'rpkid/doc/manual.html')
| -rw-r--r-- | rpkid/doc/manual.html | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/rpkid/doc/manual.html b/rpkid/doc/manual.html index bebece35..5ff9530c 100644 --- a/rpkid/doc/manual.html +++ b/rpkid/doc/manual.html @@ -1,11 +1,10 @@ -<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> + <head> + <meta http-equiv="refresh" content="0; URL=http://www.hactrn.net/rpki-dox/index.html"> + </head> + <body> + Automatically redirecting to online manual; if this doesn't work, please go to + <a href="http://www.hactrn.net/rpki-dox/">http://www.hactrn.net/rpki-dox/</a> + </body> </html> - |