Added another status line update to drracket for planet installations, showing when docs are being built

collects/drracket/private/unit.rkt

@@ -1657,6 +1657,8 @@ module browser threading seems wrong.
                         (format (string-constant planet-downloading) package)]
                        [(install)
                         (format (string-constant planet-installing) package)]
+                       [(docs-build)
+                        (format (string-constant planet-docs-building) package)]
                        [(finish)
                         (format (string-constant planet-finished) package)]
                        [else

collects/planet/planet.scrbl

@@ -734,7 +734,7 @@ is saved in the namespace, making the listening and information producing
 namespace-specific.
 
 @defproc[(planet-terse-register
-          [proc (-> (or/c 'download 'install 'finish) string? any/c)]
+          [proc (-> (or/c 'download 'install 'docs-build 'finish) string? any/c)]
           [namespace namespace? (current-namespace)]) void?]{
 Registers @racket[proc] as a function to be called when
 @racket[planet-terse-log] is called with a matching namespace argument.

collects/planet/resolver.rkt

@@ -591,6 +591,7 @@ subdirectory.
                      (ipp path the-dir (list owner pkg-name
                                              extra-path maj min))
                      (unless was-nested?
+                       (planet-terse-log 'docs-build pkg-string)
                        (printf "------------- Rebuilding documentation index -------------\n")
                        (rud)))))))
             (planet-terse-log 'finish pkg-string)

collects/string-constants/english-string-constants.rkt

@@ -1524,6 +1524,7 @@ please adhere to these guidelines:
   (planet-downloading "PLaneT: Downloading ~a...")
   (planet-installing "PLaneT: Installing ~a...")
   (planet-finished "PLaneT: Finished with ~a.")
+  (planet-docs-building "PLaneT: Building docs (triggered by ~a)...")
   (planet-no-status "PLaneT") ;; this can happen when there is status shown in a different and then the user switches to a tab where planet hasn't been used
   
   ;; string normalization. To see this, paste some text with a ligature into DrRacket