diff --git a/doc/fix_hyper_global.txt b/doc/src/fix_hyper_global.txt similarity index 100% rename from doc/fix_hyper_global.txt rename to doc/src/fix_hyper_global.txt diff --git a/doc/fix_hyper_local.txt b/doc/src/fix_hyper_local.txt similarity index 100% rename from doc/fix_hyper_local.txt rename to doc/src/fix_hyper_local.txt diff --git a/doc/hyper.txt b/doc/src/hyper.txt similarity index 100% rename from doc/hyper.txt rename to doc/src/hyper.txt