[Top][All Lists]

[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?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]