- fixed 'make docs' by removing a duplicate '@doc'
- fixed 'make docs' by removing a duplicate '@doc'
seyyed/scalaris,tectronics/scalaris,tectronics/scalaris,digshock/scalaris,seyyed/scalaris,digshock/scalaris,tectronics/scalaris,seyyed/scalaris,digshock/scalaris,tectronics/scalaris,seyyed/scalaris,seyyed/scalaris,digshock/scalaris,seyyed/scalaris,digshock/scalaris,tectronics/scalaris,seyyed/scalaris,tectronics/scalaris,digshock/scalaris,digshock/scalaris,tectronics/scalaris