diff options
| author | Rob Austein <sra@hactrn.net> | 2016-08-03 23:46:44 -0400 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2016-08-03 23:46:44 -0400 |
| commit | 949e9c8358b5259656c02e4a1ada7912d943afd2 (patch) | |
| tree | 4d04acc169abb7d7f7e08790a98736ba8214f97d /doc/02.RPKI.Installation.DebianPackages.md | |
| parent | 14a9628f0552d3818cd58fb085e7544cdbb3b5eb (diff) | |
Try another conversion pass to salvage more of the links.
Diffstat (limited to 'doc/02.RPKI.Installation.DebianPackages.md')
| -rw-r--r-- | doc/02.RPKI.Installation.DebianPackages.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/02.RPKI.Installation.DebianPackages.md b/doc/02.RPKI.Installation.DebianPackages.md index bcc858ff..4ac60d65 100644 --- a/doc/02.RPKI.Installation.DebianPackages.md +++ b/doc/02.RPKI.Installation.DebianPackages.md @@ -40,7 +40,7 @@ aptitude should also work. sudo apt-get install rpki-rp rpki-ca - * Customize the default `rpki.conf` for your environment as necessary. In particular, you want to change `handle` and `rpkid_server_host`. There are obsessively detailed instructions. + * Customize the default `rpki.conf` for your environment as necessary. In particular, you want to change `handle` and `rpkid_server_host`. There are [obsessively detailed instructions][Configuration]. sudo emacs /etc/rpki.conf @@ -62,3 +62,5 @@ Or, if you only want to update the RPKI tools: sudo apt-get update sudo apt-get upgrade rpki-ca rpki-rp + +[Configuration]: 12.RPKI.CA.Configuration.md |