diff --git a/doc/dev/header b/doc/internal/header
similarity index 100%
rename from doc/dev/header
rename to doc/internal/header
diff --git a/doc/dev/shell-hints b/doc/internal/shell-hints
similarity index 100%
rename from doc/dev/shell-hints
rename to doc/internal/shell-hints