anchor.diff:      else:
           print >>f, "static int get_data_size(void) { return 0; }"
   
  -INSTALL, COMPILE, PREPROCESS, DOCUMENT = range(4)
  +INSTALL, COMPILE, PREPROCESS, DOCUMENT, INSTALLDOC = range(5)
   
   modinc = None
   def find_modinc():
  
positive.code: 
      for f in args:
          try:
              if f.endswith(".comp") and mode == DOCUMENT:
                  document(f, outfile)            
              elif f.endswith(".comp"):
                  process(f, mode, outfile)
  
negative.code:     outfile = None
      userspace = False
      try:
          opts, args = getopt.getopt(sys.argv[1:], "uijcpdo:h?",
                             ['install', 'compile', 'preprocess', 'outfile=',
                              'document', 'help', 'userspace', 'install-doc'])
      except getopt.GetoptError:
          usage(1)
  
  