Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

index file for references directory #351

Closed
stpeter opened this issue Jan 5, 2017 · 2 comments
Closed

index file for references directory #351

stpeter opened this issue Jan 5, 2017 · 2 comments
Assignees

Comments

@stpeter
Copy link
Member

stpeter commented Jan 5, 2017

In the past, we had an index file at https://xmpp.org/extensions/refs/ so that one could look at the list of reference files. This was used by some automated services (such as https://xml2rfc.tools.ietf.org/ - scroll down). Perhaps we can create a cron job to auto-generate an index.html or index.txt file. (This might be more of an iteam issue...)

@stpeter stpeter self-assigned this Jan 5, 2017
@SamWhited
Copy link
Member

SamWhited commented Jan 5, 2017

I think this is more of a website issue; I have a similar isssue open at #1179

Unless we want to have the script used to generate the references be a part of the makefile here, which would make sense to me.

@stpeter
Copy link
Member Author

stpeter commented Jan 5, 2017

Yep, I will close this issue.

@stpeter stpeter closed this as completed Jan 5, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants