diff --git a/doc/content-for-customization.html b/doc/content-for-customization.html index 92714dfac..013095ea4 100644 --- a/doc/content-for-customization.html +++ b/doc/content-for-customization.html @@ -79,6 +79,7 @@ POKI_INCLUDE_ESCAPED(sample_mlrrc)HERE all, though, it is silently skipped.
  • Any .mlrrc in your home directory or current directory is ignored whenever MLRRC is set in the environment. +
  • Example line in your shell’s rc file: export MLRRC=/path/to/my/mlrrc
  • Otherwise: diff --git a/doc/customization.html b/doc/customization.html index 59df2ac60..d81759601 100644 --- a/doc/customization.html +++ b/doc/customization.html @@ -201,6 +201,7 @@ skip-comments-with @ all, though, it is silently skipped.
  • Any .mlrrc in your home directory or current directory is ignored whenever MLRRC is set in the environment. +
  • Example line in your shell’s rc file: export MLRRC=/path/to/my/mlrrc
  • Otherwise: