From 33cc18461491e4e37125408f2caedb53f2da1cea Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Tue, 22 Apr 2014 08:08:32 -0700
Subject: [PATCH] environment: update docs for with-os-env.

---
 basis/environment/environment-docs.factor | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/basis/environment/environment-docs.factor b/basis/environment/environment-docs.factor
index 8e5ef8b352..6129b07302 100644
--- a/basis/environment/environment-docs.factor
+++ b/basis/environment/environment-docs.factor
@@ -81,7 +81,11 @@ HELP: unset-os-env
     "Names and values of environment variables are operating system-specific."
 } ;
 
-{ os-env os-envs set-os-env unset-os-env set-os-envs set-os-envs-pointer change-os-env } related-words
+HELP: with-os-env
+{ $values { "value" string } { "key" string } { "quot" "quotation" } }
+{ $description "Calls a quotation with the " { $snippet "key" } " environment variable set to " { $snippet "value" } ", resetting the environment variable afterwards to its previous value." } ;
+
+{ os-env os-envs set-os-env unset-os-env set-os-envs set-os-envs-pointer change-os-env with-os-env } related-words
 
 
 ARTICLE: "environment" "Environment variables"