aboutsummaryrefslogtreecommitdiff
path: root/rpkid/OPERATION
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2008-06-11 20:58:05 +0000
committerRob Austein <sra@hactrn.net>2008-06-11 20:58:05 +0000
commit05fedd965f282baac401e3733df1a75a323c56c4 (patch)
tree21c880d492ea88818f5ef47434c82ce595a91e77 /rpkid/OPERATION
parent04d128a5d6b3c8180e4e62efb6c90058397ca422 (diff)
Enable generation of PDF as well as HTML documentation
svn path=/docs/left-right-protocol; revision=1868
Diffstat (limited to 'rpkid/OPERATION')
-rw-r--r--rpkid/OPERATION4
1 files changed, 2 insertions, 2 deletions
diff --git a/rpkid/OPERATION b/rpkid/OPERATION
index 1a1f53b6..836e76be 100644
--- a/rpkid/OPERATION
+++ b/rpkid/OPERATION
@@ -621,5 +621,5 @@ testpoke.py
__________________________________________________________________
- Generated on Wed Jun 11 18:58:48 2008 for Resource PKI Engine by
- doxygen 1.5.5
+ Generated on Wed Jun 11 20:53:54 2008 for RPKI Engine by doxygen
+ 1.5.5