bugfix: the makefile "html" target generated the wrong name of the zhcn html file.