diff options
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL index afbbb76ad..f2b9bd04d 100644 --- a/INSTALL +++ b/INSTALL @@ -407,6 +407,13 @@ Any startup/shutdown script can be disabled by giving the --disable-SCRIPTNAME option to "configure". The --disable-etcdir option disables all startup/shutdown files which are not explicitly enabled. +The precompiled documentation comes with startup files listed +as being in the /etc directory. If yodl is available, running +"touch version.yo" and "make" in the Doc directory should produce +correctly substituted documentation. (This has to be run by hand +to avoid introducing a dependency on yodl on systems where the precompiled +documentation is sufficient.) + Shell functions --------------- |