contrib/wix/help.wxs
changeset 37998 5fa4e29ba3e3
parent 36451 1fa35ca345a5
child 38795 422d661056be
--- a/contrib/wix/help.wxs	Mon May 14 23:00:30 2018 -0400
+++ b/contrib/wix/help.wxs	Mon May 14 13:11:04 2018 +0200
@@ -19,6 +19,7 @@
           <File Name="color.txt" />
           <File Name="config.txt" KeyPath="yes" />
           <File Name="dates.txt" />
+          <File Name="deprecated.txt" />
           <File Name="diffs.txt" />
           <File Name="environment.txt" />
           <File Name="extensions.txt" />