diff options
Diffstat (limited to 'local/lib/rootlocal.hd')
| -rw-r--r-- | local/lib/rootlocal.hd | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/local/lib/rootlocal.hd b/local/lib/rootlocal.hd new file mode 100644 index 00000000..7fbbed03 --- /dev/null +++ b/local/lib/rootlocal.hd @@ -0,0 +1,8 @@ +# Root task entry for the LOCAL package help tree. Defines `local' as both a +# task and a package in the local help database. + +local men = local$src/local.men, + hlp = local$src/local.men, + sys = local$src/local.hlp, + pkg = local$src/local.hd, + src = local$src/local.cl |