I just discovered that the --big option is only half of what I want: making documents referentially complete by adding the glossary in an appendix. In particular, I do not want the definitions in the document be duplicate.
So I need an option that treats definienda from inside the document in an index-like fashion: if we have a \defi{foo} in a module bar, then I want to have generated an index-like entry:
which will expand to something like
\item[foo] see the \href{definition}{foo@bar} on page ??
That will give all the \trefi in the document a unique place to point to.
I just discovered that the
--bigoption is only half of what I want: making documents referentially complete by adding the glossary in an appendix. In particular, I do not want the definitions in the document be duplicate.So I need an option that treats definienda from inside the document in an index-like fashion: if we have a
\defi{foo}in a modulebar, then I want to have generated an index-like entry:which will expand to something like
That will give all the
\trefiin the document a unique place to point to.