diff options
| -rw-r--r-- | rpkid/rpki/__doc__.py.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rpkid/rpki/__doc__.py.in b/rpkid/rpki/__doc__.py.in index ed37bfff..87862f86 100644 --- a/rpkid/rpki/__doc__.py.in +++ b/rpkid/rpki/__doc__.py.in @@ -398,7 +398,7 @@ # release. # # To build these, cd to the top-level directory in the distribution, -# type "./configure", then type "make". +# run the configure script, then run "make": # # @verbatim # $ cd $top |