Changed directory structure.

[vlp.git] / doc / html / machine.html

diff --git a/doc/machine.html b/doc/html/machine.html
similarity index 100%
rename from doc/machine.html
rename to doc/html/machine.html