1 files changed, 6 insertions, 0 deletions
diff --git a/contrib/gnunet-tree-builder/gtb b/contrib/gnunet-tree-builder/gtb
new file mode 100755
index 000000000..d57dfdc3f
--- /dev/null
+++ b/contrib/gnunet-tree-builder/gtb
@@ -0,0 +1,6 @@
+#!/bin/sh
+# gtb: gnunet tree builder
+# Script for automating the generation of GNUnet syntax tree
+# MAINDIR: GNUnet workspace
+$MAINDIR/contrib/gnunet-tree-builder/regenerate
+\ No newline at end of file

diff --git a/contrib/gnunet-tree-builder/gtb b/contrib/gnunet-tree-builder/gtb new file mode 100755 index 000000000..d57dfdc3f --- /dev/null +++ b/contrib/gnunet-tree-builder/gtb
@@ -0,0 +1,6 @@
	1	#!/bin/sh
	2	# gtb: gnunet tree builder
	3	# Script for automating the generation of GNUnet syntax tree
	4	# MAINDIR: GNUnet workspace
	5
	6	$MAINDIR/contrib/gnunet-tree-builder/regenerate \ No newline at end of file