diff options
Diffstat (limited to 'local/lib/root.hd')
| -rw-r--r-- | local/lib/root.hd | 5 |
1 files changed, 5 insertions, 0 deletions
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 |