[docs] Enable documentation for mini.

[mono.git] / mono / mini / mini-arm64-gsharedvt.c

diff --git a/mono/mini/mini-arm64-gsharedvt.c b/mono/mini/mini-arm64-gsharedvt.c
index df24c53c6581c444f8c8c02ce774215617ad4f0b..b81873b49317059276dd8812cfbc326277b947d1 100644 (file)
--- a/mono/mini/mini-arm64-gsharedvt.c
+++ b/mono/mini/mini-arm64-gsharedvt.c
@@ -1,5 +1,6 @@
-/*
- * mini-arm64-gsharedvt.c: gsharedvt support code for arm64
+/**
+ * \file
+ * gsharedvt support code for arm64
  *
  * Authors:
  *   Zoltan Varga <vargaz@gmail.com>