docread: Only strip one space from doc-comments

Change-Id: I6a6a6964c4d68142cad0129233c83fde548f0d7f
This commit is contained in:
puck 2025-06-23 12:22:20 +00:00
parent a333a18922
commit 5332df82bb

View file

@ -16,7 +16,7 @@
(irregex-replace/all (irregex-replace/all
; Written weirdly to avoid the regexp catching itself. ; Written weirdly to avoid the regexp catching itself.
; TODO(puck): only apply at the start of lines? ; TODO(puck): only apply at the start of lines?
(string->irregex ";{2,} *([^\\n]*)" 'm) (string->irregex ";{2,} ?([^\\n]*)" 'm)
(get-output-string str-out) (get-output-string str-out)
;; TODO: do we need the space here? this could also be a reader macro instead. ;; TODO: do we need the space here? this could also be a reader macro instead.