From fa080de7afc95aa1c19a6e6fc0e0708ced2eadc4 Mon Sep 17 00:00:00 2001 From: Joseph Hunkeler Date: Wed, 8 Jul 2015 20:46:52 -0400 Subject: Initial commit --- local/lib/root.hd | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 local/lib/root.hd (limited to 'local/lib/root.hd') diff --git a/local/lib/root.hd b/local/lib/root.hd new file mode 100644 index 00000000..34a8f88b --- /dev/null +++ b/local/lib/root.hd @@ -0,0 +1,5 @@ +# Root help directory for the LOCAL packages. This dummy package is necessary +# in order to have `local' appear as a module in some package, so that the user +# can type "help local" (with the `local' given as a task). + +_local pkg = local$lib/rootlocal.hd -- cgit