Closed ueno closed 4 years ago
Sorry, I realized that rather than spamming the commit log, it would be easier to just add a build.rs that uses witx crate to generate the documentation; let me try to do that.
Yes, importing the witx
file along with the build tool (using the crate) and pregenerated documentation in a proposals/witx
directory would be nice.
We probably don't need to keep an extra copy of the witx
source code.
To host witx files and the generated documentation, I guess it would be desirable to have the same infrastructure as the WASI repository and periodically synchronize with it.
This is an attempt to import only necessary subdirectories using git merge/git read-tree, following this write-up: https://bneijt.nl/blog/post/merge-a-subdirectory-of-another-repository-with-git/