anchor.diff:  // Release Scripts
   
   Target "ReleaseDocs" (fun _ ->
  +    if disableDocs then () else   
       let tempDocsDir = "temp/gh-pages"
       CleanDir tempDocsDir
       Repository.cloneSingleBranch "" (gitHome + "/" + gitName + ".git") "gh-pages" tempDocsDir
  
positive.code: )
  
  Target "GenerateHelpDebug" (fun _ ->
      DeleteFile "docs/content/release-notes.md"
      CopyFile "docs/content/" "RELEASE_NOTES.md"
      Rename "docs/content/release-notes.md" "docs/content/RELEASE_NOTES.md"
  
negative.code:     generateHelp' commands fail false
  
  Target "GenerateHelp" (fun _ ->
      if disableDocs then () else
      DeleteFile "docs/content/release-notes.md"
      CopyFile "docs/content/" "RELEASE_NOTES.md"
      Rename "docs/content/release-notes.md" "docs/content/RELEASE_NOTES.md"
  