diff --git a/DOC/MAN/README b/DOC/MAN/README new file mode 100644 index 0000000..2a89c86 --- /dev/null +++ b/DOC/MAN/README @@ -0,0 +1,2 @@ +Placeholder directory for man pages. +