unofficial mirror of bug-gnu-emacs@gnu.org 
 help / color / mirror / code / Atom feed
* bug#24517: Please provide the feature ada-ref-man
@ 2016-09-23 10:40 Jonas Bernoulli
  2016-09-23 11:15 ` bug#24517: Please provide the feature uni-confusables Jonas Bernoulli
  2019-11-03 12:34 ` bug#24517: Please provide the feature ada-ref-man Stefan Kangas
  0 siblings, 2 replies; 7+ messages in thread
From: Jonas Bernoulli @ 2016-09-23 10:40 UTC (permalink / raw)
  To: 24517

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





^ permalink raw reply	[flat|nested] 7+ messages in thread

end of thread, other threads:[~2020-10-11  2:50 UTC | newest]

Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-09-23 10:40 bug#24517: Please provide the feature ada-ref-man Jonas Bernoulli
2016-09-23 11:15 ` bug#24517: Please provide the feature uni-confusables Jonas Bernoulli
2019-11-03 12:34 ` bug#24517: Please provide the feature ada-ref-man Stefan Kangas
2019-11-06 19:15   ` Jonas Bernoulli
2019-11-06 23:12     ` Stefan Kangas
2020-08-12  1:27       ` Stefan Kangas
2020-10-11  2:50         ` Lars Ingebrigtsen

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).