From 44179b8bcc80d30b1cd42032214a4fd8680127e1 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 30 Jan 2020 15:29:04 +0000
Subject: Commit missing pandoc fixes for document generation

---
 doc/pandocfix.sed | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 doc/pandocfix.sed

diff --git a/doc/pandocfix.sed b/doc/pandocfix.sed
new file mode 100644
index 00000000..1b6f2688
--- /dev/null
+++ b/doc/pandocfix.sed
@@ -0,0 +1,2 @@
+s/https:\/\/github.com\/rems-project\/sail\/blob\/sail2\/doc\///
+s/\\includegraphics/\\includegraphics[scale=0.35]/
\ No newline at end of file
-- 
cgit v1.2.3