From abeb58e8145a09b83f20aeda2c8409dc64081b24 Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Mon, 13 Jul 2020 13:22:27 +0200
Subject: [PATCH] Add a directory for proposed specifications

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
---
 docs/.gitignore              |  3 +++
 docs/architecture/.gitignore |  2 --
 docs/proposed/Makefile       | 21 +++++++++++++++++++++
 docs/proposed/README         |  4 ++++
 4 files changed, 28 insertions(+), 2 deletions(-)
 create mode 100644 docs/.gitignore
 delete mode 100644 docs/architecture/.gitignore
 create mode 100644 docs/proposed/Makefile
 create mode 100644 docs/proposed/README

diff --git a/docs/.gitignore b/docs/.gitignore
new file mode 100644
index 000000000..33ae5acf6
--- /dev/null
+++ b/docs/.gitignore
@@ -0,0 +1,3 @@
+*.html
+*.pdf
+!PSACryptoDriverModelSpec.pdf
diff --git a/docs/architecture/.gitignore b/docs/architecture/.gitignore
deleted file mode 100644
index 23f832b73..000000000
--- a/docs/architecture/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-*.html
-*.pdf
diff --git a/docs/proposed/Makefile b/docs/proposed/Makefile
new file mode 100644
index 000000000..97f288ac8
--- /dev/null
+++ b/docs/proposed/Makefile
@@ -0,0 +1,21 @@
+PANDOC = pandoc
+
+default: all
+
+all_markdown = \
+	       # This line is intentionally left blank
+
+html: $(all_markdown:.md=.html)
+pdf: $(all_markdown:.md=.pdf)
+all: html pdf
+
+.SUFFIXES:
+.SUFFIXES: .md .html .pdf
+
+.md.html:
+	$(PANDOC) -o $@ $<
+.md.pdf:
+	$(PANDOC) -o $@ $<
+
+clean:
+	rm -f *.html *.pdf
diff --git a/docs/proposed/README b/docs/proposed/README
new file mode 100644
index 000000000..09eae9aec
--- /dev/null
+++ b/docs/proposed/README
@@ -0,0 +1,4 @@
+The documents in this directory are proposed specifications for Mbed
+TLS features. They are not implemented yet, or only partially
+implemented. Please follow activity on the `development` branch of
+Mbed TLS if you are interested in these features.