From 949e9c8358b5259656c02e4a1ada7912d943afd2 Mon Sep 17 00:00:00 2001 From: Rob Austein Date: Wed, 3 Aug 2016 23:46:44 -0400 Subject: Try another conversion pass to salvage more of the links. --- doc/02.RPKI.Installation.DebianPackages.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'doc/02.RPKI.Installation.DebianPackages.md') 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 -- cgit v1.2.3