From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Jonas Bernoulli Newsgroups: gmane.emacs.bugs Subject: bug#24517: Please provide the feature ada-ref-man Date: Fri, 23 Sep 2016 12:40:21 +0200 Message-ID: <87bmze292i.fsf@bernoul.li> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1474627285 3755 195.159.176.226 (23 Sep 2016 10:41:25 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 23 Sep 2016 10:41:25 +0000 (UTC) User-Agent: mu4e 0.9.17; emacs 25.1.1 To: 24517@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Fri Sep 23 12:41:21 2016 Return-path: Envelope-to: geb-bug-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 1bnNuv-00008C-S8 for geb-bug-gnu-emacs@m.gmane.org; Fri, 23 Sep 2016 12:41:17 +0200 Original-Received: from localhost ([::1]:43951 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bnNuu-0004nQ-6Y for geb-bug-gnu-emacs@m.gmane.org; Fri, 23 Sep 2016 06:41:16 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:56405) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bnNum-0004mZ-HG for bug-gnu-emacs@gnu.org; Fri, 23 Sep 2016 06:41:09 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bnNuh-0007iQ-00 for bug-gnu-emacs@gnu.org; Fri, 23 Sep 2016 06:41:07 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:55143) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bnNug-0007iJ-T6 for bug-gnu-emacs@gnu.org; Fri, 23 Sep 2016 06:41:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1bnNug-0001Uy-Ly for bug-gnu-emacs@gnu.org; Fri, 23 Sep 2016 06:41:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Jonas Bernoulli Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 23 Sep 2016 10:41:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 24517 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.14746272475730 (code B ref -1); Fri, 23 Sep 2016 10:41:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 23 Sep 2016 10:40:47 +0000 Original-Received: from localhost ([127.0.0.1]:33100 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bnNuR-0001UM-3S for submit@debbugs.gnu.org; Fri, 23 Sep 2016 06:40:47 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:37114) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bnNuP-0001U5-JU for submit@debbugs.gnu.org; Fri, 23 Sep 2016 06:40:46 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bnNuJ-0007a2-6Q for submit@debbugs.gnu.org; Fri, 23 Sep 2016 06:40:40 -0400 Original-Received: from lists.gnu.org ([2001:4830:134:3::11]:37122) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bnNuI-0007ZT-TB for submit@debbugs.gnu.org; Fri, 23 Sep 2016 06:40:39 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:56293) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bnNuG-0004U0-MT for bug-gnu-emacs@gnu.org; Fri, 23 Sep 2016 06:40:37 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bnNuA-0007Y2-Gl for bug-gnu-emacs@gnu.org; Fri, 23 Sep 2016 06:40:35 -0400 Original-Received: from mail.hostpark.net ([212.243.197.30]:34565) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bnNuA-0007Xc-AM for bug-gnu-emacs@gnu.org; Fri, 23 Sep 2016 06:40:30 -0400 Original-Received: from localhost (localhost [127.0.0.1]) by mail.hostpark.net (Postfix) with ESMTP id 947AF16B48 for ; Fri, 23 Sep 2016 12:40:26 +0200 (CEST) X-Virus-Scanned: by Hostpark/NetZone Mailprotection at hostpark.net Original-Received: from mail.hostpark.net ([127.0.0.1]) by localhost (mail0.hostpark.net [127.0.0.1]) (amavisd-new, port 10124) with ESMTP id BaOqBawjnvtO for ; Fri, 23 Sep 2016 12:40:26 +0200 (CEST) Original-Received: from hal (178-82-62-170.dynamic.hispeed.ch [178.82.62.170]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by mail.hostpark.net (Postfix) with ESMTPSA id 6466516B52 for ; Fri, 23 Sep 2016 12:40:25 +0200 (CEST) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:123594 Archived-At: ada-ref-man.el from GNU Elpa isn't a real library, it only exists so that the Ada Reference Manual can be installed using `package.el', which expects a package to contain a library matching the package name. Similarly the tools used to maintain the Emacsmirror impose such restrictions on the mirrored packages. In particular they are a bit more fussy about the "main library" of the package. In addition to expecting the main library to have the "correct name", they also insist on that library providing the matching feature. Please consider adding (provide 'ada-ref-man) to ada-ref-man.el. Considering that ada-ref-man.el only exists in the first place to satisfy a tool, I don't think we would go to far if it additionally provided the feature to satisfy another tool. Thanks, Jonas