diff options
author | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2013-11-21 03:18:47 +0400 |
---|---|---|
committer | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2013-11-22 08:46:46 +0400 |
commit | 5da91003c71e383a8f3999ddf26a0ecb81333793 (patch) | |
tree | a38e5937a0577d7ac75ede502d3cd8d903413ae0 /main/src/addins/GnomePlatform | |
parent | ee6cf08ac521c055a6708e5bb2bf5d116e9b27f7 (diff) |
Flush csproj fixes
Diffstat (limited to 'main/src/addins/GnomePlatform')
-rw-r--r-- | main/src/addins/GnomePlatform/GnomePlatform.csproj | 4 |
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"> |