diff --git a/asdf.texinfo b/doc/asdf.texinfo similarity index 100% rename from asdf.texinfo rename to doc/asdf.texinfo