(describe-function-1): Put empty line before "Not documented" text.

lisp/ChangeLog

@@ -1,5 +1,8 @@
 2002-07-17  Juanma Barranquero  <lektu@terra.es>
 
+	* help-fns.el (describe-function-1): Put empty line before "Not
+	documented" text.
+
 	* timer.el (timer-set-time-with-usecs): Mark obsolete.
 
 2002-07-16  Stefan Monnier  <monnier@cs.yale.edu>

lisp/help-fns.el

@@ -316,9 +316,8 @@ Return (USAGE . DOC) or nil if there's no usage info."
 	  (princ (if (stringp (car obsolete)) (car obsolete)
 		   (format "use `%s' instead." (car obsolete))))
 	  (terpri)))
-      (if doc
-	  (progn (terpri) (princ doc))
-	(princ "Not documented.")))))
+      (terpri)
+      (princ (or doc "Not documented.")))))
 
 
 ;; Variables