3 files changed, 7 insertions, 0 deletions

diff --git a/misc/.gitignore b/misc/.gitignore
index 81c83739..2b475b4a 100644
--- a/misc/.gitignore
+++ b/misc/.gitignore
@@ -2,4 +2,5 @@
 /*.dvi
 /*.log
 /*.aux
+/*.asc
 /auto
diff --git a/misc/nettle-3.1.1.tar.gz.directive b/misc/nettle-3.1.1.tar.gz.directive
new file mode 100644
index 00000000..c71bbf43
--- /dev/null
+++ b/misc/nettle-3.1.1.tar.gz.directive
@@ -0,0 +1,3 @@
+version: 1.2
+directory: nettle
+filename: nettle-3.1.1.tar.gz
diff --git a/misc/nettle-3.1.tar.gz.directive b/misc/nettle-3.1.tar.gz.directive
new file mode 100644
index 00000000..2d00b8f5
--- /dev/null
+++ b/misc/nettle-3.1.tar.gz.directive
@@ -0,0 +1,3 @@
+version: 1.2
+directory: nettle
+filename: nettle-3.1.tar.gz