From f81ad1936cca821ea924cc3014187591a5f2ea71 Mon Sep 17 00:00:00 2001
From: Bill Kendrick <nbs@sonic.net>
Date: Fri, 25 Dec 2020 21:59:30 -0800
Subject: [PATCH] Pointing default_colors.txt link to existing file

h/t Pere (who mended the copy in tuxpaint-website)
---
 docs/en/OPTIONS.txt       | 2 +-
 docs/en/html/OPTIONS.html | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/docs/en/OPTIONS.txt b/docs/en/OPTIONS.txt
index 0f4e07829..0b0d4d407 100644
--- a/docs/en/OPTIONS.txt
+++ b/docs/en/OPTIONS.txt
@@ -6,7 +6,7 @@ Options Documentation
         Copyright (c) 2002-2020 by various contributors; see AUTHORS.txt
                             http://www.tuxpaint.org/
 
-                                August 14, 2020
+                               December 25, 2020
 
      ----------------------------------------------------------------------
 
diff --git a/docs/en/html/OPTIONS.html b/docs/en/html/OPTIONS.html
index 2b9ef6dbd..54b2f9a3d 100644
--- a/docs/en/html/OPTIONS.html
+++ b/docs/en/html/OPTIONS.html
@@ -32,7 +32,7 @@
       </p>
 
       <p>
-        August 14, 2020
+        December 25, 2020
       </p>
     </center>
 
@@ -1459,7 +1459,7 @@
           <p>
             As an example, you can see the default colors currently
             used in Tux&nbsp;Paint in: "<a href=
-            "../default_colors.txt"><code>default_colors.txt</code></a>".
+            "../../default_colors.txt"><code>default_colors.txt</code></a>".
           </p>
 
           <p>