From 4541fe2756a0de2916a7f155fe50f05a9d4496eb Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Wed, 10 Sep 2008 07:51:58 +0000 Subject: [PATCH] Renamed directory as the alphabetical index of ref pages needs all ref pages to be in the same directory --- Manual/doc_tex/Miscellany_ref/main.tex | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/Manual/doc_tex/Miscellany_ref/main.tex b/Manual/doc_tex/Miscellany_ref/main.tex index c4716e0b6d0..b03f62fc5e7 100644 --- a/Manual/doc_tex/Miscellany_ref/main.tex +++ b/Manual/doc_tex/Miscellany_ref/main.tex @@ -6,12 +6,12 @@ % \input{Miscellany_ref/intro.tex} -\input{Hash_map_ref/Handle_hash_function} -\input{Profiling_tools_ref/Memory_sizer} -\input{Modifier_ref/Modifier_base.tex} -\input{Profiling_tools_ref/Profile_counter} -\input{Profiling_tools_ref/Real_timer} -\input{Profiling_tools_ref/Timer} -\input{Union_find_ref/Union_find} -\input{Hash_map_ref/Unique_hash_map} -\input{Hash_map_ref/UniqueHashFunction} +\input{Miscellany_ref/Handle_hash_function} +\input{Miscellany_ref/Memory_sizer} +\input{Miscellany_ref/Modifier_base.tex} +\input{Miscellany_ref/Profile_counter} +\input{Miscellany_ref/Real_timer} +\input{Miscellany_ref/Timer} +\input{Miscellany_ref/Union_find} +\input{Miscellany_ref/Unique_hash_map} +\input{Miscellany_ref/UniqueHashFunction}