Add two library name commands

[lassik]

No description provided.

[arthurgleckler]

Excellent. Merged and pushed.

It generates library-names.html in the srfi-common/ directory, but that's unused. Did you intend to publish it at registry.scheme.org?

By the way, I just made it possible to search by library-name on the home page.

[lassik]

It generates library-names.html in the srfi-common/ directory, but that's unused. Did you intend to publish it at registry.scheme.org?

library-names.html isn't hosted anywhere at the moment. The names could go into the Registry, but since you're already tracking them in srfi-data.scm it's probably better not to duplicate the same information in two places. None of the registries currently are "mirrors" of tables stored elsewhere, though that's an interesting possibility. Do you think hosting the library name table on the SRFI site is too much of a maintenance burden?

By the way, I just made it possible to search by library-name on the home page.

Great!

[arthurgleckler]

library-names.html isn't hosted anywhere at the moment. The names could go into the Registry, but since you're already tracking them in srfi-data.scm it's probably better not to duplicate the same information in two places. None of the registries currently are "mirrors" of tables stored elsewhere, though that's an interesting possibility. Do you think hosting the library name table on the SRFI site is too much of a maintenance burden?

I don't see any need for the table on the SRFI site. The data is already presented on the home page and on each SRFI's landing page, and it's in the S-expression database as well. And it's now searchable. If we were to host it on the SRFI site, I would want to make it match the look of the home page, which is a lot of work for my design-challenged self.

[lassik]

Fair enough. Maybe we can keep the command for possible future use without hosting the HTML file anywhere. Or we could just delete it, since srfi library-names and srfi r6rs-imports already show the same information.

[arthurgleckler]

Let's keep it. It will be just a little reminder, and if we find a good way to host it, we can.