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.

Sign up for GitHub

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

Jump to bottom

Annex F should be built as an index #512

Closed

zygoloid opened this issue Jun 16, 2015 · 2 comments

Member

zygoloid commented Jun 16, 2015

Annex F is currently built by the makexref script. There doesn't seem to be an obvious good reason for this; can we generate it as an index instead?

Contributor

AlisdairM commented Jul 25, 2016

It looks like this has happened now, and the issue can safely be closed?

Contributor

tkoeppe commented Jul 25, 2016

That's true, thanks.

tkoeppe closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment