stub for keys generation instructions

This commit is contained in:
Marcello Stanisci 2017-05-31 12:35:14 +02:00
parent 0e26843e51
commit 1fb7b318fd
No known key found for this signature in database
GPG Key ID: 8D526861953F4C0F

View File

@ -649,9 +649,15 @@ the starting time of the @cite{(j-1)}-th key.
@menu
* Keys generation::
* Database upgrades::
@end menu
@node Keys generation
@section Keys generation
@c say where in the config lies the output directory of denom/signkeys.
@node Database upgrades
@section Database upgrades