From c9283c897783cca04479f458b9f8e144f0915448 Mon Sep 17 00:00:00 2001
From: Iustin Pop <iustin@k1024.org>
Date: Sun, 6 Dec 2020 15:07:35 +0100
Subject: [PATCH] Store doc/readme and doc/news in the git repo
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

… instead of rebuilding them every time. This is in order to fix the
readthedocs "build", since it only builds docs (via sphinx) but
doesn't run the actual build.
---
 Makefile      | 7 -------
 doc/news.rst  | 1 +
 doc/readme.md | 1 +
 3 files changed, 2 insertions(+), 7 deletions(-)
 create mode 120000 doc/news.rst
 create mode 120000 doc/readme.md

diff --git a/Makefile b/Makefile
index f57b8bf..bb6d207 100644
--- a/Makefile
+++ b/Makefile
@@ -25,12 +25,6 @@ $(DOCHTML)/index.html: $(MODNAME) $(RSTFILES)
 
 doc: $(DOCHTML)/index.html
 
-doc/readme.md: README.md
-	ln -s ../README.md doc/readme.md
-
-doc/news.rst: NEWS
-	ln -s ../NEWS doc/news.rst
-
 dist:
 	fakeroot $(PYTHON) ./setup.py sdist
 
@@ -89,7 +83,6 @@ coverage:
 
 clean:
 	rm -rf $(DOCHTML) $(DOCTREES)
-	rm -f doc/readme.md doc/news.rst
 	rm -f $(MODNAME)
 	rm -f *.so
 	rm -rf build
diff --git a/doc/news.rst b/doc/news.rst
new file mode 120000
index 0000000..0fae0f8
--- /dev/null
+++ b/doc/news.rst
@@ -0,0 +1 @@
+../NEWS
\ No newline at end of file
diff --git a/doc/readme.md b/doc/readme.md
new file mode 120000
index 0000000..32d46ee
--- /dev/null
+++ b/doc/readme.md
@@ -0,0 +1 @@
+../README.md
\ No newline at end of file
-- 
2.39.5