- I was afraid that people would see the directory called documentation   and miss index.html.  Then they would only find the documentation about   the documentation--not so helpful.  Therefore, on win32 package install   documentation into   - docs/index.html   - docs/user/*   - docs/development/*   - docs/documentation/*
- I was afraid that people would see the directory called documentation
  and miss index.html.  Then they would only find the documentation about
  the documentation--not so helpful.  Therefore, on win32 package install
  documentation into
  - docs/index.html
  - docs/user/*
  - docs/development/*
  - docs/documentation/*

dbrashear/bochs,dariaphoebe/bochs,dbrashear/bochs,dariaphoebe/bochs,dariaphoebe/bochs,dbrashear/bochs,dariaphoebe/bochs,dbrashear/bochs,dariaphoebe/bochs,dbrashear/bochs