diff --git a/Profiling_tools/doc_tex/Profiling_tools_ref/Memory_sizer.tex b/Profiling_tools/doc_tex/Miscellany_ref/Memory_sizer.tex
similarity index 100%
rename from Profiling_tools/doc_tex/Profiling_tools_ref/Memory_sizer.tex
rename to Profiling_tools/doc_tex/Miscellany_ref/Memory_sizer.tex
diff --git a/Profiling_tools/doc_tex/Profiling_tools_ref/Profile_counter.tex b/Profiling_tools/doc_tex/Miscellany_ref/Profile_counter.tex
similarity index 100%
rename from Profiling_tools/doc_tex/Profiling_tools_ref/Profile_counter.tex
rename to Profiling_tools/doc_tex/Miscellany_ref/Profile_counter.tex
diff --git a/Profiling_tools/doc_tex/Profiling_tools_ref/Real_timer.tex b/Profiling_tools/doc_tex/Miscellany_ref/Real_timer.tex
similarity index 100%
rename from Profiling_tools/doc_tex/Profiling_tools_ref/Real_timer.tex
rename to Profiling_tools/doc_tex/Miscellany_ref/Real_timer.tex
diff --git a/Profiling_tools/doc_tex/Profiling_tools_ref/Timer.tex b/Profiling_tools/doc_tex/Miscellany_ref/Timer.tex
similarity index 100%
rename from Profiling_tools/doc_tex/Profiling_tools_ref/Timer.tex
rename to Profiling_tools/doc_tex/Miscellany_ref/Timer.tex