diff --git a/Matrix_search/doc_tex/Matrix_search_ref/main_Matrix_search.tex b/Matrix_search/doc_tex/Matrix_search_ref/main_Matrix_search.tex deleted file mode 100644 index 916451e91d9..00000000000 --- a/Matrix_search/doc_tex/Matrix_search_ref/main_Matrix_search.tex +++ /dev/null @@ -1,12 +0,0 @@ -%% ============================================================== -%% Matrix Search: Main reference TeX-file -%% -------------------------------------------------------------- -%% file : main_Matrix_search.awi -%% author: Michael Hoffmann -%% $Id$ -%% ============================================================== - -\inputOpt{spec_monotone_matrix_search} -\inputOpt{spec_sorted_matrix_search} - -%% EOF