aboutsummaryrefslogtreecommitdiff
path: root/rpkid/doc/manual.html
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2012-04-16 20:32:12 +0000
committerRob Austein <sra@hactrn.net>2012-04-16 20:32:12 +0000
commit2d26c4f5e632286cf6a75e20229f95fa799f5147 (patch)
treee9179438e7d39a02ddb655bec818bdcb5a203e77 /rpkid/doc/manual.html
parent6f45f4a6b5a65ab12db71623877ce075f218e98c (diff)
Clean up README files. Mostly this means changing them to pointers to
the real consolidated documentation. Delete old Doxygen-based rpkid manual and stuff that went with it, while retaining ability to generate Doxygen manual of internals for the libraries. This closes #232. svn path=/trunk/; revision=4424
Diffstat (limited to 'rpkid/doc/manual.html')
-rw-r--r--rpkid/doc/manual.html10
1 files changed, 0 insertions, 10 deletions
diff --git a/rpkid/doc/manual.html b/rpkid/doc/manual.html
deleted file mode 100644
index 5ff9530c..00000000
--- a/rpkid/doc/manual.html
+++ /dev/null
@@ -1,10 +0,0 @@
-<!-- $Id$ -->
-<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>