Subject: DOCDIR ?
To: None <firstname.lastname@example.org>
From: Jan Schaumann <email@example.com>
Date: 10/16/2002 12:05:08
I noticed that we do not have a DOCDIR (or DOCROOT) variable or some
such (or do we?). As a result, documentation (excluding man pages) is
currently installed in
I'd suggest that we add a default variable "DOCDIR" (or whatever you may
call it, I haven't checked the namespaces), and allow the user to
overwrite it in /etc/mk.conf. This should be added to the default
variables that are expanded in PLIST handling.
I'm not sure if we need separate directories for html documentation, and
if so, if it shouldn't rather be DOCDIR/<pkgname>/html than
Even if we do not bother to actually set a DOCDIR variable, I think we
should try to standardize on a location.
This shouldn't even involve much work, I think.
Probability factor of one to one. We have normality. I repeat, we have
normality. Anything you still can't cope with is therefore your own lookout.