Thread

  1. Cleanup of make_ctags

    Bruce Momjian <bruce@momjian.us> — 2012-02-24T21:20:12Z

    Looking at our src/tools/make_ctags, it was using an option that was
    renamed and no longer documented since 2003;   this applied patch uses
    the new option name.
    
    If anyone using a ctags that old, I will find a way to support both, but
    until then, I think we should just use the documented option.
    
    -- 
      Bruce Momjian  <bruce@momjian.us>        http://momjian.us
      EnterpriseDB                             http://enterprisedb.com
    
      + It's impossible for everything to be true. +