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: Help with etags Date: Tue, 05 Dec 2017 18:23:47 +0530 Message-ID: <87lgih5o9w.fsf@gmail.com> Reply-To: "N. Raghavendra" NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1512478472 14066 195.159.176.226 (5 Dec 2017 12:54:32 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 5 Dec 2017 12:54:32 +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 Tue Dec 05 13:54:23 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 1eMCjt-0003EN-Gs for geh-help-gnu-emacs@m.gmane.org; Tue, 05 Dec 2017 13:54:21 +0100 Original-Received: from localhost ([::1]:48260 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eMCk0-0007V2-J3 for geh-help-gnu-emacs@m.gmane.org; Tue, 05 Dec 2017 07:54:28 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:34500) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eMCjU-0007Ui-Vb for help-gnu-emacs@gnu.org; Tue, 05 Dec 2017 07:53:58 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eMCjR-0004RZ-3e for help-gnu-emacs@gnu.org; Tue, 05 Dec 2017 07:53:57 -0500 Original-Received: from mail-pf0-x232.google.com ([2607:f8b0:400e:c00::232]:44429) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eMCjQ-0004Qz-UD for help-gnu-emacs@gnu.org; Tue, 05 Dec 2017 07:53:53 -0500 Original-Received: by mail-pf0-x232.google.com with SMTP id m26so76796pfj.11 for ; Tue, 05 Dec 2017 04:53:52 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:user-agent:reply-to:mail-followup-to:date :message-id:mime-version; bh=ySfoAtdCtJinZts/LJ0o6G2hlAPCosoqf01NSMQ4rso=; b=Htz8Xs8ozvt3nqblu9XTIGtKpcTiJTnIf1bgRmc4GZcYRzkBx2Z2RXM7fjtiMdg99Q Lr6fAXxIhMMxsVXNyP5LbbHtUIAbiy0q3RYE+E8JH8HfTApRhQHegyfGBkHvBA2GS4EC Sk6Kkju45s7brlZxHKHhmGZrmh3I5rnqFbw8aFix8VDE0DD0YqnfOg2pLuSFA09zSRzr joCvHn33cmI73nf65dAJIESP8wa3LHt+Bbr4Myzi+sP4zQGfESP0/ZUgJqy035dwE8Ct qBdPR47ZpLwUFFu02zApHN8MOHbfAaTLVlX5nJ+Bgf6lN9HoOr+AUMl1cd3ARZD+o7mv RNdg== 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:user-agent:reply-to :mail-followup-to:date:message-id:mime-version; bh=ySfoAtdCtJinZts/LJ0o6G2hlAPCosoqf01NSMQ4rso=; b=KlDFkZ4ObRH5suo3vHycfhoVqd09m7xMCCcFC45GsBl7kiSvelN+/QtznG38thI18K z6exdlFbGEmZ5SD19F+Pu2C+b+3NnGAeYgzRA8AKb/VwL437sWbdC+t67j4vRtpAFIR4 KGE0w5N7rIPaI7y9UrTq5y9seSuk8CV3qX0YGkstqGxUTUuhagsxlTXY7gK5yjDWmaPp eA02VeFzHSACYp0RaW/CF6TJohumhwsI17n7jAxS2MxBWnTx9IuluTLwJoV5eKbTCVRJ ZHiIlwj+sHNwGN7kJ5xWg3Tk7zdJB4j3fTSla/i/HcLnACb/QQwxlyK5zs7VOfnuruDX 5baA== X-Gm-Message-State: AJaThX7BQfESVDdXklrme5RmgbCrdkqxGXi9j0wNxvSTK8l6pxQKxfbf kId37e/uDoUlsLmE2os97Lnq1g== X-Google-Smtp-Source: AGs4zMZNpV8UEGGdqxKR3+UJpFPC6SwLSyOLhRt7xJAJuXLKusGOr6IAw6VRqb2hsz67PRouHiBmXQ== X-Received: by 10.98.135.138 with SMTP id i132mr22730176pfe.130.1512478431183; Tue, 05 Dec 2017 04:53:51 -0800 (PST) Original-Received: from riemann (www.hri.res.in. [220.227.103.137]) by smtp.gmail.com with ESMTPSA id w15sm115543pgc.77.2017.12.05.04.53.49 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 05 Dec 2017 04:53:50 -0800 (PST) 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:c00::232 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:115218 Archived-At: I am trying to build a tags table for some files which look like this ------------------------File: Homotopies.v --------------------------- Require Export Paths. Definition homotopies {X Y : U} (f g : X -> Y) : U := prod (x : X) , (paths (f x) (g x)). Notation "f ~ g" := (homotopies f g). Definition function_induced_function_homotopic_identity {X : U} (f : X -> X) (h : f ~ (Functions.identity X)) (x y : X) (p : paths x y) : paths ((induced_function f p) @ (h y)) ((h x) @ p). ---------------------------------------------------------------------- I want the tags table to show the identifier in every line following a line containing `Definition', e.g., `homotopies' and `function_induced_function_homotopic_identity'. 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. What is the right way to generate tags for such files? Thanks, Raghu. -- N. Raghavendra , http://www.retrotexts.net/ Harish-Chandra Research Institute, http://www.hri.res.in/