diff options
| author | Rob Austein <sra@hactrn.net> | 2008-06-11 20:58:05 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2008-06-11 20:58:05 +0000 |
| commit | 05fedd965f282baac401e3733df1a75a323c56c4 (patch) | |
| tree | 21c880d492ea88818f5ef47434c82ce595a91e77 /rpkid/rpki/__init__.py | |
| parent | 04d128a5d6b3c8180e4e62efb6c90058397ca422 (diff) | |
Enable generation of PDF as well as HTML documentation
svn path=/docs/left-right-protocol; revision=1868
Diffstat (limited to 'rpkid/rpki/__init__.py')
| -rw-r--r-- | rpkid/rpki/__init__.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rpkid/rpki/__init__.py b/rpkid/rpki/__init__.py index c65f025a..26efbf6a 100644 --- a/rpkid/rpki/__init__.py +++ b/rpkid/rpki/__init__.py @@ -29,7 +29,7 @@ # though, and I see no obvious way to automate them. Keeping the # documentation with the config file options would be nice. Someday. -## @mainpage +## @mainpage RPKI Engine Reference Manual ## ## This collection of Python modules implements a prototype of the ## RPKI Engine. This is a work in progress. |