docs: create config/, devel/ and spin/ subdirectoriesDeveloper documentation should be its own manual. As a start, move alldeveloper-oriented files to a separate directory.Also move non-text fi
docs: create config/, devel/ and spin/ subdirectoriesDeveloper documentation should be its own manual. As a start, move alldeveloper-oriented files to a separate directory.Also move non-text files to their own directories: docs/config/ forQEMU -readconfig input, and docs/spin/ for formal models to be usedwith the SPIN model checker.Reviewed-by: Daniel P. Berrange <berrange@redhat.com>Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
show more ...