[Omake] omake-toc.html vs omake-contents.html - do we need both?

[Aleksey Nogin]

Jason,

Would it be reasonable to may be get rid of omake-toc and replace it
with omake-contents? Or do we want both?

-- 
Aleksey Nogin

Home Page: http://nogin.org/
E-Mail: nogin at cs.caltech.edu (office), aleksey at nogin.org (personal)
Office: Moore 04, tel: (626) 395-2200