[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Help with etags
From: |
N. Raghavendra |
Subject: |
Re: Help with etags |
Date: |
Sat, 09 Dec 2017 19:03:02 +0530 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.0.60 (gnu/linux) |
At 2017-12-08T12:28:33+02:00, Eli Zaretskii wrote:
> This works for me:
>
> etags --language=none
> --regex="/[[:space:]]*Definition[[:space:]\n]+[[:space:]]*\([[:alnum:]_]+\)[[:space:]]*\n/\1/m"
> Homotopies.v
Thank you. I tried that regex on my files. It produces a tags table,
but when I use the table, and do M-. at an identifier, it takes me to
the wrong places in the files.
Meanwhile, I found the Perl program `coqtags', distributed with Emacs
Proof General, for tagging Coq files, such as the ones I am trying to
tag, and it works well.
Kind regards,
Raghu.
--
N. Raghavendra <raghu@hri.res.in>, http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/