[sr-dev] git:master:a80e3421: doc/counter_list: makefile - generate html with full section numbers