From 818a8330b33b0086f9b4679468eac00033eeff34 Mon Sep 17 00:00:00 2001
From: Stephen Sherratt <Stephen.Sherratt@data61.csiro.au>
Date: Tue, 29 Nov 2016 12:18:34 +1100
Subject: [PATCH] manual: Added libsel4 tools library to manual dir

JIRA: SELFOUR-606
---
 libsel4/tools/__init__.py  | 17 +++++++++++++++++
 manual/tools/libsel4_tools |  1 +
 2 files changed, 18 insertions(+)
 create mode 100644 libsel4/tools/__init__.py
 create mode 120000 manual/tools/libsel4_tools

diff --git a/libsel4/tools/__init__.py b/libsel4/tools/__init__.py
new file mode 100644
index 000000000..f4af1f855
--- /dev/null
+++ b/libsel4/tools/__init__.py
@@ -0,0 +1,17 @@
+#!/usr/bin/env python
+#
+# Copyright 2016, Data 61
+# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+# ABN 41 687 119 230.
+#
+# This software may be distributed and modified according to the terms of
+# the BSD 2-Clause license. Note that NO WARRANTY is provided.
+# See "LICENSE_BSD2.txt" for details.
+#
+# @TAG(D61_BSD)
+#
+
+# This file allows the the libsel4 tools directory to be imported as
+# a python module.
+
+import syscall_stub_gen
diff --git a/manual/tools/libsel4_tools b/manual/tools/libsel4_tools
new file mode 120000
index 000000000..6b67cf25e
--- /dev/null
+++ b/manual/tools/libsel4_tools
@@ -0,0 +1 @@
+../../libsel4/tools
\ No newline at end of file