Re: Dynamic loading progress

[Eli Zaretskii]

> From: Ted Zlatanov <address@hidden>
> Date: Wed, 18 Nov 2015 21:19:23 -0500
> 
> Sorry for letting bad formatting slip through.  I checked the code but I
> guess wasn't thorough.  Would you recommend a specific tool for the
> formatting review?

I just use my eyes.  Maybe others can recommend some tools.

> >> * should there be a separate manual or at least a section in the developer 
> >> manual?
> 
> EZ> Of course!  Every feature should be documented, and this one is no
> EZ> exception.  I suggest to start with NEWS.
> 
> My goal with that question was actually to find out *where* the
> developer docs should go, not whether they are necessary.

Sorry, it wasn't clear to me.

I think the place is the ELisp manual.  I see no reason to have a
separate manual, since I don't expect the documentation to be large
enough to justify that.

Thanks.