Upload directive files.

diff --git a/misc/.gitignore b/misc/.gitignore
index 81c83739da1c867d63bc801fa28079c3c3151f1b..2b475b4a47250416a6b7e5a92469230e07bf66a4 100644 (file)
--- 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 (file)
index 0000000..c71bbf4
--- /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 (file)
index 0000000..2d00b8f
--- /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