[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: @cindex and friends in snippet files
|
From: |
Werner LEMBERG |
|
Subject: |
Re: @cindex and friends in snippet files |
|
Date: |
Mon, 23 Sep 2019 10:35:11 +0200 (CEST) |
> A separate index for the snippets would likely be nice (we have
> categories, though) but I have no idea how we could sensibly manage
> that without messing up the main manual indexing and also the LSR
> coordination.
It's not clear to me what you exactly mean with a `separate index for
snippets'. Where should this index be? In the notation reference, in
the snippets document? And what do you envision of its contents?
Werner