Re: @defun and @defvr in the "same" block?

[Gavin Smith]

On Tue, Nov 22, 2022 at 07:21:05AM -0800, Raymond Toy wrote:
> I personally find it kind of weird to mix deffn and defvrx in the same
> block.  If I were writing this from scratch, I would have separated them.
> But this is a conversion of an old Scribe doc, so that's way too much
> effort.  I might just do
> 
> @defun
> @end defun
> @defvar
> <description>
> @end defvar
> 
> to get the entries into the right index and still have it look as if
> they're together as in the original doc.  This is mostly busy work.
> 
> Oh, and for the record, look at
> https://cmucl.common-lisp.dev/doc/encycmuclopedia/devenv/cim.ps for the
> original Scribe version.  Look at the bottom of page 7.
> 
> For the conversion, see the bottom of page 6 of
> https://cmucl.common-lisp.dev/docs/hem/cim/cim.pdf
> 
> just so the various bits are in the correct index.

Interesting to see the Scribe document - I don't think I've seen one
before.

I think that @deffn and @defvrx etc. could be mixed, although
the @def* commands have long been an area where changes could be
made to be more general.  See the TODO file in the git repository.
If we had some way of explicitly specifying the index that a @def*
command would use, then this would solve this problem.