Drop @header support

We don't need it. Anything under @plugin is implicitly in the "header"
region unless explicitly marked otherwise (ie. with @footer or such).

diff --git a/after/syntax/vim.vim b/after/syntax/vim.vim
index 1842e9df87d466aa3fddec120270d0846563e043..5c89ff40460d336cbf011a1bc78385025ffb351b 100644 (file)
--- a/after/syntax/vim.vim
+++ b/after/syntax/vim.vim
@@ -1,8 +1,6 @@
 ""
 " @plugin docvim Syntax highlighting for docvim comments
 "
-" @header
-"
 "                                                                    *vim-docvim*
 " # Intro
 "
@@ -158,7 +156,6 @@ syntax match docvimAnnotation '@command' containedin=docvimBlock contained
 syntax match docvimAnnotation '@dedent' containedin=docvimBlock contained
 syntax match docvimAnnotation '@footer' containedin=docvimBlock contained
 syntax match docvimAnnotation '@function' containedin=docvimBlock contained
-syntax match docvimAnnotation '@header' containedin=docvimBlock contained
 syntax match docvimAnnotation '@indent' containedin=docvimBlock contained
 syntax match docvimAnnotation '@mapping' containedin=docvimBlock contained
 syntax match docvimAnnotation '@option' containedin=docvimBlock contained