Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Hutchinson <m.j.hutchinson@gmail.com>2013-11-21 03:18:47 +0400
committerMichael Hutchinson <m.j.hutchinson@gmail.com>2013-11-22 08:46:46 +0400
commit5da91003c71e383a8f3999ddf26a0ecb81333793 (patch)
treea38e5937a0577d7ac75ede502d3cd8d903413ae0 /main/src/addins/GnomePlatform
parentee6cf08ac521c055a6708e5bb2bf5d116e9b27f7 (diff)
Flush csproj fixes
Diffstat (limited to 'main/src/addins/GnomePlatform')
-rw-r--r--main/src/addins/GnomePlatform/GnomePlatform.csproj4
1 files changed, 2 insertions, 2 deletions
diff --git a/main/src/addins/GnomePlatform/GnomePlatform.csproj b/main/src/addins/GnomePlatform/GnomePlatform.csproj
index f1a5a4e6e8..03490dd841 100644
--- a/main/src/addins/GnomePlatform/GnomePlatform.csproj
+++ b/main/src/addins/GnomePlatform/GnomePlatform.csproj
@@ -18,9 +18,9 @@
<ErrorReport>prompt</ErrorReport>
<WarningLevel>4</WarningLevel>
<ConsolePause>False</ConsolePause>
- <GenerateDocumentation>true</GenerateDocumentation>
<DefineConstants>DEBUG</DefineConstants>
<NoWarn>1591;1573</NoWarn>
+ <DocumentationFile>..\..\..\build\AddIns\GnomePlatform.xml</DocumentationFile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
<DebugType>pdbonly</DebugType>
@@ -30,8 +30,8 @@
<WarningLevel>4</WarningLevel>
<ConsolePause>False</ConsolePause>
<DebugSymbols>true</DebugSymbols>
- <GenerateDocumentation>true</GenerateDocumentation>
<NoWarn>1591;1573</NoWarn>
+ <DocumentationFile>bin\Release\GnomePlatform.xml</DocumentationFile>
</PropertyGroup>
<ItemGroup>
<Reference Include="gdk-sharp, Version=2.12.0.0, Culture=neutral, PublicKeyToken=35e10195dab3c99f">