diff options
-rw-r--r-- | doc/dev_manual.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/dev_manual.rst b/doc/dev_manual.rst index 4bd22be1b..10cc6cec0 100644 --- a/doc/dev_manual.rst +++ b/doc/dev_manual.rst @@ -680,7 +680,7 @@ available: ./host-eggdbus.in:## SECTION=hosttools_noprompt ./libssh2.in:## SECTION=networking -Porting a new package to PTXdist is finished now. +Porting a new package to PTXdist is (almost) finished now. To check it right away, we simply run these two commands: |