kframework/k — pull request #237 by Multiball (2014-01-29 22:29:12+00:00)
Title: Documentation Backend

This is a prototype for a documentation backend for kompile to generate a reference manual for builtins. Currently, it essentially duplicates the functionality of the latex backend, ignoring rules and recursively exploring imported nodes. Rules can be added to the resulting document by tagging them with the [documentation] attribute or by passing additional attributes to the backend by using the option --documentation.