On Oct 8, 2009, at 7:51 AM, Jeff Squyres (jsquyres) wrote:
Ah. Whoops. I'll fix. :-)
Hmm. I seems that Samuel was right the first time -- I poked around and I can't find any way to exclude a file from the files listing. I think our choices are:
1. do nothing2. use a more common filename that people will know/assume to ignore (e.g., mainpage.dox)
3. disable the files listing Got a preference? -- Jeff Squyres jsquy...@cisco.com
