Re: Help with etags

[Eli Zaretskii]

> From: "N. Raghavendra" <nyraghu27132@gmail.com>
> Date: Tue, 05 Dec 2017 18:23:47 +0530
> 
> I tried the command
> 
> etags --language=none 
> --regex="/^[[:space:]]*Definition[[:space:]\n]+[[:space:]]*\([[:alnum:]_]+\)[[:space:]]*\n/\1/"
>  Homotopies.v
> 
> but am getting an empty tags table.

This is because (a) you should drop the leading "^" in the regexp
(the regexp is always used anchored, as described in the manual);
and (b) you should use the 'm' modifier, because your regexp is
multi-line (this is also in the manual).

This works for me:

  etags --language=none 
--regex="/[[:space:]]*Definition[[:space:]\n]+[[:space:]]*\([[:alnum:]_]+\)[[:space:]]*\n/\1/m"
 Homotopies.v