From 9808dc9a7063333c9e875bf01b277237a93c8a3f Mon Sep 17 00:00:00 2001 From: John Kerl Date: Wed, 19 Aug 2020 10:45:22 -0400 Subject: [PATCH] example export MLRRC=/path/to/my/mlrrc in docpage --- doc/content-for-customization.html | 1 + doc/customization.html | 1 + 2 files changed, 2 insertions(+) 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: