qemu/docs/spin, branch masterQEMU development treehttps://git.zx2c4.com/qemu/atom/docs/spin?h=master2017-06-07T16:22:03Zdocs: create config/, devel/ and spin/ subdirectories2017-06-07T16:22:03ZPaolo Bonzinipbonzini@redhat.com2017-06-06T14:46:26Zurn:sha1:ac06724a715864942e2b5e28f92d5d5421f0a0b0
Developer documentation should be its own manual. As a start, move all
developer-oriented files to a separate directory.
Also move non-text files to their own directories: docs/config/ for
QEMU -readconfig input, and docs/spin/ for formal models to be used
with the SPIN model checker.
Reviewed-by: Daniel P. Berrange <berrange@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>