Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-06-22 12:31:30 -0700 (Thu, 22 Jun 2006)
Revision: 9366
Log message:

      Added a print statement and rearranged some code.
      
      I would say "elseif" is stylistically preferable to
      
         else
            if
      
      if only to keep the indentation under control.
      
      Note the following:
         $(target-exists lm_printf.mli) == true
         $(target-exists lm_printf.cmi) == false