Re: dotimes-with-progress-reporter doc string lacks SPEC

[Mathias Dahl]

> Hm, thanks. I can see the pattern. Searching elisp Info I found the
> explanation in "(elisp) Function Documentation":
>
>    The last line of the documentation string can specify calling
>    conventions different from the actual function arguments.  Write text
>   like this:
>
>      \(fn ARGLIST)

Ah, there it is! I was lazy and just checked the docstring of
defmacro, where I could see no mentioning of this.

Thanks!