diff --git a/doc/cross_ref.html b/doc/emacros-cross_ref.html
similarity index 100%
rename from doc/cross_ref.html
rename to doc/emacros-cross_ref.html