From 7ad6f57a8da7a894fc742bf41f11fbadb63f9d19 Mon Sep 17 00:00:00 2001
From: Nikita Fuchs <q.fuchs@gmail.com>
Date: Tue, 6 Oct 2020 17:17:46 +0200
Subject: [PATCH] add note to sophia.md

---
 .gitignore     | 1 +
 docs/sophia.md | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 78df591..55b9e7b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,3 +21,4 @@ rebar3.crashdump
 aesophia
 .qcci
 current_counterexample.eqc
+.history
\ No newline at end of file
diff --git a/docs/sophia.md b/docs/sophia.md
index 36b9ab4..73b82a4 100644
--- a/docs/sophia.md
+++ b/docs/sophia.md
@@ -1,3 +1,5 @@
+<!--  IMPORTANT: This file shall temporarily remain as an internal reference for the transformation of the doc into the format favored by readthedocs and will be removed soon. For the actual documentation, see https://aeternity-sophia.readthedocs.io/-->
+
 <!-- IMPORTANT: REMEMBER TO UPDATE THE TABLE OF CONTENTS AFTER YOUR EDIT -->
 
 **Table of Contents**