anchor.diff:    String searchResultsUrl = 'results.html';
   
     /** Set this to add footer text to each generated page. */
  -  String footerText = '';
  +  String footerText = null;
   
     /** Set this to add content before the footer */
     String preFooterText = '';
  +
  +  /** Set this to omit generation timestamp from output */
  +  bool omitGenerationTime = false;
   
     /**
      * From exposes the set of libraries in `world.libraries`. That maps library
  
positive.code:       case '--generate-app-cache':
        case '--generate-app-cache=true':
          generateAppCache = true;
          break;
  
        default:
  
negative.code:     md.setImplicitLinkResolver((name) => resolveNameReference(name,
              library: _currentLibrary, type: _currentType,
              member: _currentMember));
    }
  
    String get footerContent(){
      var footerItems = [];
      if(!omitGenerationTime) {
        footerItems.add("This page generated at ${new Date.now()}");
      }
      if(footerText != null) {
        footerItems.add(footerText);
      }
      var content = '';
      for (int i = 0; i < footerItems.length; i++) {
        if(i > 0){
          content = content.concat('\n');
        }
        content = content.concat('<div>${footerItems[i]}</div>');
      }
      return content;
    }
  
    void document([String entrypoint]) {
  