[vala] linux: Do not use doc comment for file header comment

[Jürg Billeter <juergbi src gnome org>]

commit 519f65856e9485299f1280ae1ba213bbda22ea2f
Author: Jürg Billeter <j bitron ch>
Date:   Mon Feb 8 10:38:47 2010 +0100

    linux: Do not use doc comment for file header comment

 vapi/linux.vapi |    6 ++----
 1 files changed, 2 insertions(+), 4 deletions(-)
---
diff --git a/vapi/linux.vapi b/vapi/linux.vapi
index a28cfc2..df72633 100644
--- a/vapi/linux.vapi
+++ b/vapi/linux.vapi
@@ -1,5 +1,4 @@
-/**
- * linux.vapi
+/* linux.vapi
  *
  * Copyright (C) 2009-2010 Michael 'Mickey' Lauer <mlauer vanille-media de>
  *
@@ -16,8 +15,7 @@
  * You should have received a copy of the GNU Lesser General Public
  * License along with this library; if not, write to the Free Software
  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301  USA
- *
- **/
+ */
 
 [CCode (cprefix = "", lower_case_cprefix = "")]
 namespace Linux {