From 8450d292f9ef825a8b7f8bf11a7eb553701921c8 Mon Sep 17 00:00:00 2001
From: Theodore Tsirpanis <teo@tsirpanis.gr>
Date: Wed, 28 Feb 2024 02:38:25 +0200
Subject: [PATCH] Link to license and release notes on GitHub instead of
 copying the documents.

---
 Directory.Build.props | 5 +++++
 eng/build.fs          | 7 -------
 2 files changed, 5 insertions(+), 7 deletions(-)

diff --git a/Directory.Build.props b/Directory.Build.props
index f4e6d111..eb18ada9 100644
--- a/Directory.Build.props
+++ b/Directory.Build.props
@@ -1,3 +1,8 @@
 <Project>
   <Import Project="$(MSBuildThisFileDirectory)eng/common.props" />
+  <PropertyGroup>
+    <FsDocsLicenseLink>https://github.com/teo-tsirpanis/Farkle/blob/mainstream/LICENSE.txt</FsDocsLicenseLink>
+    <FsDocsReleaseNotesLink>https://github.com/teo-tsirpanis/Farkle/blob/mainstream/RELEASE_NOTES.txt</FsDocsReleaseNotesLink>
+    <RepositoryUrl>https://github.com/teo-tsirpanis/Farkle</RepositoryUrl>
+  </PropertyGroup>
 </Project>
diff --git a/eng/build.fs b/eng/build.fs
index af71a66e..596468ba 100644
--- a/eng/build.fs
+++ b/eng/build.fs
@@ -305,17 +305,10 @@ let docsOutput = Path.GetFullPath "_site/"
 let farkle6Repo = "temp/farkle6"
 let farkle6DocsProject = farkle6Repo @@ farkleProject
 
-let moveFileTemporarily src dest =
-    File.Copy(src, dest, true)
-    {new IDisposable with member _.Dispose() = File.delete dest}
-
 let cleanDocs _ =
     Shell.cleanDir docsOutput
 
 let generateDocs doWatch isRelease =
-    use __ = moveFileTemporarily "RELEASE_NOTES.md" "docs/release-notes.md"
-    use __ = moveFileTemporarily "LICENSE.txt" "docs/license.md"
-
     let arguments = [
         if doWatch then "watch" else "build"
         "--clean"