- fixed 'make docs' by removing a duplicate '@doc'
- fixed 'make docs' by removing a duplicate '@doc'
jvf/scalaris,jvf/scalaris,caijieming-baidu/scalaris,scalaris-team/scalaris,caijieming-baidu/scalaris,jvf/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,caijieming-baidu/scalaris,jvf/scalaris,jvf/scalaris,scalaris-team/scalaris,jvf/scalaris,jvf/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,caijieming-baidu/scalaris,caijieming-baidu/scalaris,caijieming-baidu/scalaris,scalaris-team/scalaris,caijieming-baidu/scalaris