From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: "N. Raghavendra" Newsgroups: gmane.emacs.help Subject: Re: Help with etags Date: Sat, 09 Dec 2017 19:03:02 +0530 Message-ID: <877etwxbzl.fsf@gmail.com> References: <87lgih5o9w.fsf@gmail.com> <83shclwm26.fsf@gnu.org> Reply-To: "N. Raghavendra" NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1512826436 6751 195.159.176.226 (9 Dec 2017 13:33:56 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 9 Dec 2017 13:33:56 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.60 (gnu/linux) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Sat Dec 09 14:33:47 2017 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eNfGF-0001UG-FK for geh-help-gnu-emacs@m.gmane.org; Sat, 09 Dec 2017 14:33:47 +0100 Original-Received: from localhost ([::1]:41372 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eNfGM-0002fh-PV for geh-help-gnu-emacs@m.gmane.org; Sat, 09 Dec 2017 08:33:54 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:37454) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eNfFi-0002eT-8O for help-gnu-emacs@gnu.org; Sat, 09 Dec 2017 08:33:15 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eNfFe-0000Vz-7b for help-gnu-emacs@gnu.org; Sat, 09 Dec 2017 08:33:14 -0500 Original-Received: from mail-pg0-x230.google.com ([2607:f8b0:400e:c05::230]:33706) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eNfFe-0000Vd-2d for help-gnu-emacs@gnu.org; Sat, 09 Dec 2017 08:33:10 -0500 Original-Received: by mail-pg0-x230.google.com with SMTP id g7so8434503pgs.0 for ; Sat, 09 Dec 2017 05:33:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:in-reply-to:references:user-agent:reply-to :mail-followup-to:date:message-id:mime-version; bh=woeWxJdwli58rbUswRdNLUXW5W6TaaDVAJGnhh7TmdQ=; b=mU4t3AhHIxtWmS7u6kVglpR8FCj03ur6dzgnbCw6oBZFxZlYbGPa7nPQ+XOY9Hl1ZI no01qAw7N5IQgNpWFuQGG5bRpkM1yFaLiV7Kafysl4tuXhIUZ2qjXkJMRZNlPyRExzhW R+0cSFEui4XO0YtTInvulgKdYlYoiXIJ6ENaAnmWEQ6rBs2HE73FEFiucl3sYPBMOzh3 w/qRGXZtG2OzAIfWG/gkzke7/wBitnW6i2ikgK4HUy4NAQemLW/MpyJ9G4GmeCJDRl8g a50vtDStBJAr/lQtDrz1wv1fEmDgGCLgfqpuRjLOPLOkRIgj4owg57iFG+jJpDl5blRZ RW+Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:in-reply-to:references :user-agent:reply-to:mail-followup-to:date:message-id:mime-version; bh=woeWxJdwli58rbUswRdNLUXW5W6TaaDVAJGnhh7TmdQ=; b=G1lDo1Cd8OSDh9TivWrOUnvyR9iz6B3ZZHLaBlHhDnDyOmpev/EAgKV/tOVDIL8Sen frslLt1ijxbAu7GTZWvBRaoJkahySjwhsX6tOZiTOv3ozrWVgB8TllRAKAsalkocUCu0 6DB53WD4i3Ihprh+vddJKp2jR3JJU/+8u0cz0GuuEBdDgOaChlCLR6r0UnVWLHT6Eiak coOl+d6CBwRHuQMx9HpBiJqjOOD7Z83BlUw2z3xxGQHoNJ8gx/wb1omMVuZNcc5g8eEC V+0GDMO/UCwmqbnrslnmVOctjSfpxlXdOEIauYjkILnRoMlqc7P8neNi7Vy4Dn37VCM2 aszw== X-Gm-Message-State: AJaThX5c1yYLBTb/6rJAG+goME1tWZUmkyoMXNXXeDdKr488tjha+htJ frmtPZqgaGgeMw6InK6o0eiOOQ== X-Google-Smtp-Source: AGs4zMYqvHFbqwNYkVXOVSipoKW4NyXFzk8ELoB/yrrbM5Ap6gsHcFSUvmF7/VUu8sOGmHC4BhwhVw== X-Received: by 10.99.117.90 with SMTP id f26mr32995589pgn.201.1512826388427; Sat, 09 Dec 2017 05:33:08 -0800 (PST) Original-Received: from ailuros (www.hri.res.in. [220.227.103.137]) by smtp.gmail.com with ESMTPSA id b127sm14855723pgc.70.2017.12.09.05.33.06 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 09 Dec 2017 05:33:07 -0800 (PST) In-Reply-To: <83shclwm26.fsf@gnu.org> (Eli Zaretskii's message of "Fri, 08 Dec 2017 12:28:33 +0200") Mail-Followup-To: help-gnu-emacs@gnu.org X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:400e:c05::230 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "help-gnu-emacs" Xref: news.gmane.org gmane.emacs.help:115316 Archived-At: 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 , http://www.retrotexts.net/ Harish-Chandra Research Institute, http://www.hri.res.in/