[gnuastro-commits] master 85b9e93: Corrected comments and description of developer-build

[Mohammad Akhlaghi]

branch: master
commit 85b9e93b2a60d0f08827cb237bdda24e012aacbf
Author: Mohammad Akhlaghi <address@hidden>
Commit: Mohammad Akhlaghi <address@hidden>

    Corrected comments and description of developer-build
    
    The comments at the start of the `developer-build' script still pointed the
    reader to the old "Configure and build in RAM" section of the book (which
    doesn't exist any more). So it was corrected to suggest running with
    `--help'. Also, in the `--help' output, a new paragraph was added to
    describe the other options and also refer the reader to the proper section
    of the book.
---
 developer-build | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/developer-build b/developer-build
index 6569827..0b917d9 100755
--- a/developer-build
+++ b/developer-build
@@ -2,9 +2,8 @@
 
 # This script will configure and build Gnuastro in parallel inside another
 # directory (to keep the source and build directories separate). By default
-# it is in the tmpfs directory of the RAM. Please see the "Configure and
-# build in RAM" section of the Gnuastro book/documentation for a full
-# explanation.
+# it is in the tmpfs directory of the RAM. Run with `--help' for a more
+# complete description.
 #
 # Original author:
 #   Mohammad Akhlaghi <address@hidden>
@@ -104,6 +103,11 @@ be given to host the build directory for this script (see 
'top-build-dir'
 option below). The symbolic link to the build directory in this directory
 will be called 'build'.
 
+Through the options, it also possible to request further operations after
+the build (for example checking, making distribution files or
+installing). See the "Separate build and source directories" section of the
+Gnuastro manual for a more complete introduction to this script.
+
 Options:
 
  -b, --top-build-dir STR  Address to host the top build directory.