Delete html_toc.rb~