From 9ee09d9671480801504367276e53ae5ab3294ba4 Mon Sep 17 00:00:00 2001
From: Stephan Seitz <stephan.seitz@fau.de>
Date: Sun, 17 May 2020 14:22:19 +0200
Subject: [PATCH] Add @definition.*.doc to CONTRIBUTING.md

---
 CONTRIBUTING.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 5335d04ea..72942df13 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -94,6 +94,8 @@ are optional and will not have any effect for now.
   `type`
   `field`
 
+If you can extract documentation adjacent to a definition use `@definition.*.doc` (e.g. `@definition.function.doc`).
+
 `@scope`
 
 `@reference`