Commit 2f39fbf3 authored by Philipp Marek's avatar Philipp Marek
Browse files

Fixed argument font in the function documentation.

Thanks for reporting, Robert!
parent 72882fc7
Loading
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -780,7 +780,7 @@ followed another tabulation label or a tabulation body."
          (format *texinfo-output* "@end itemize~%~%"))))))

(defun texinfo-body (doc)
  (write-texinfo-string (get-string doc)))
  (write-texinfo-string (get-string doc) (lambda-list doc)))

(defun texinfo-end (doc)
  (write-line (case (get-kind doc)