diff options
Diffstat (limited to 'doc/doc/doc.hd')
| -rw-r--r-- | doc/doc/doc.hd | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/doc/doc.hd b/doc/doc/doc.hd new file mode 100644 index 00000000..fd54be66 --- /dev/null +++ b/doc/doc/doc.hd @@ -0,0 +1,9 @@ +# Help directory for the DOC package (general system documentation) + +expressions hlp=expressions.hlp + +biblio84 hlp=biblio84.hlp +crib83 hlp=crib83.hlp +pkg84 hlp=pkg84.hlp +pmmatch hlp=pmmatch.hlp +spp83 hlp=spp83.hlp |