include cscope patches in the html