| commit | ac06724a715864942e2b5e28f92d5d5421f0a0b0 | |
| author | Paolo Bonzini <pbonzini@redhat.com> | |
| Tue, 6 Jun 2017 14:46:26 +0000 (6 16:46 +0200) | ||
| committer | Paolo Bonzini <pbonzini@redhat.com> | |
| Wed, 7 Jun 2017 16:22:03 +0000 (7 18:22 +0200) | ||
| tree | 8eeb9a6aeff09669b65573b1d856426cdf87d8bd | treesnapshot (tar.gz zip) |
| parent | 90bb0c04214545beb75044a2742f711335103269 | commitdiff |
docs: create config/, devel/ and spin/ subdirectories
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>
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>
26 files changed: