diff options
| author | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2013-08-10 22:56:15 +0400 |
|---|---|---|
| committer | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2013-08-10 22:56:15 +0400 |
| commit | ae924d17f14618940766e7a84d042dbf0b9c854d (patch) | |
| tree | dd596444f5176919e025e11a01bea0d477a6a240 /main/src/addins/GnomePlatform | |
| parent | 025677b843fe6ceaecba4054e3cf400100f02c3a (diff) | |
Build xml docs for all addins
Diffstat (limited to 'main/src/addins/GnomePlatform')
| -rw-r--r-- | main/src/addins/GnomePlatform/GnomePlatform.csproj | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/main/src/addins/GnomePlatform/GnomePlatform.csproj b/main/src/addins/GnomePlatform/GnomePlatform.csproj index 287562be4d..e572bbce7a 100644 --- a/main/src/addins/GnomePlatform/GnomePlatform.csproj +++ b/main/src/addins/GnomePlatform/GnomePlatform.csproj @@ -18,6 +18,7 @@ <ErrorReport>prompt</ErrorReport> <WarningLevel>4</WarningLevel> <ConsolePause>False</ConsolePause> + <GenerateDocumentation>true</GenerateDocumentation> </PropertyGroup> <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' "> <DebugType>none</DebugType> @@ -26,6 +27,7 @@ <ErrorReport>prompt</ErrorReport> <WarningLevel>4</WarningLevel> <ConsolePause>False</ConsolePause> + <GenerateDocumentation>true</GenerateDocumentation> </PropertyGroup> <ItemGroup> <Reference Include="gdk-sharp, Version=2.12.0.0, Culture=neutral, PublicKeyToken=35e10195dab3c99f"> |