diff options
author | Rob Austein <sra@hactrn.net> | 2012-04-16 20:32:12 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2012-04-16 20:32:12 +0000 |
commit | 2d26c4f5e632286cf6a75e20229f95fa799f5147 (patch) | |
tree | e9179438e7d39a02ddb655bec818bdcb5a203e77 /rpkid/doc/manual.html | |
parent | 6f45f4a6b5a65ab12db71623877ce075f218e98c (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.html | 10 |
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> |