diff --git a/Packages/Manual_tools/src/latex_to_html b/Packages/Manual_tools/src/latex_to_html index 7c2819eba3f..8f1edd65b5c 100755 --- a/Packages/Manual_tools/src/latex_to_html +++ b/Packages/Manual_tools/src/latex_to_html @@ -53,7 +53,9 @@ LATEX_CONV_RESOURCE=${HOME}/.latex_to_html.rc # C Compiler: Gnu gcc 2.6.3 (or above) or the usual system cc: -# CC=gcc +if [ "$CC" == "" ]; then + CC=gcc +fi # The header files within the \ccInclude macro can be linked to the original # header files if the -header option is given to the cc_extract_html program.