diff options
Diffstat (limited to 'top/README-release')
-rw-r--r-- | top/README-release | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/top/README-release b/top/README-release index e9804b0307..321c1854aa 100644 --- a/top/README-release +++ b/top/README-release @@ -93,6 +93,8 @@ Once all the builds and tests have passed, http://www.gnu.org/software/@PACKAGE@/manual/ - by running this: + by running this from top_srcdir: build-aux/gnu-web-doc-update + + possibly with "-C <BUILDDIR>" |