Rename html/ directory to docs/ for GitHub Pages compatibility.

[pgbigm/pg_bigm.git] / docs / release-1-0_en.html

diff --git a/html/release-1-0_en.html b/docs/release-1-0_en.html
similarity index 100%
rename from html/release-1-0_en.html
rename to docs/release-1-0_en.html