From 0cd50893c5802da7f607d8faeddda8bac75ea169 Mon Sep 17 00:00:00 2001
From: Mike Kestner <mkestner@gmail.com>
Date: Wed, 28 Mar 2012 21:32:09 -0500
Subject: [PATCH] Rename doc source file to fix build.

---
 doc/{gtk-sharp-docs.source => gtk-sharp-3-docs.source} | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename doc/{gtk-sharp-docs.source => gtk-sharp-3-docs.source} (60%)

diff --git a/doc/gtk-sharp-docs.source b/doc/gtk-sharp-3-docs.source
similarity index 60%
rename from doc/gtk-sharp-docs.source
rename to doc/gtk-sharp-3-docs.source
index e18a1614d..10be78022 100644
--- a/doc/gtk-sharp-docs.source
+++ b/doc/gtk-sharp-3-docs.source
@@ -1,5 +1,5 @@
 <?xml version="1.0"?>
 <monodoc>
   <node label="Gnome Libraries" name="classlib-gnome" parent="libraries" />
-  <source provider="ecma" basefile="gtk-sharp-docs" path="classlib-gnome"/>
+  <source provider="ecma" basefile="gtk-sharp-3-docs" path="classlib-gnome"/>
 </monodoc>