From b39b2de4d86adfe474e3a5088e2eb27210bf2c6b Mon Sep 17 00:00:00 2001
From: David Allsopp <david.allsopp@metastack.com>
Date: Thu, 25 Apr 2024 10:31:24 +0100
Subject: [PATCH] Add test for #5838

MANPATH should appear in opam env --revert
---
 tests/reftests/env.win32.test | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tests/reftests/env.win32.test b/tests/reftests/env.win32.test
index 812fdf67d24..df018e4a9ce 100644
--- a/tests/reftests/env.win32.test
+++ b/tests/reftests/env.win32.test
@@ -1,6 +1,10 @@
 N0REP0
 ### : setenv & build env rewriting :
 ### opam switch create rewriting --empty
+### : Test for #5838
+### opam env | grep MANPATH
+MANPATH=':"${BASEDIR}/OPAM/rewriting/man"'; export MANPATH;
+### opam exec -- opam env --revert | grep MANPATH
 ### : Tests forward and backslash rewriting on revert
 ### : This sequence of updates is what presently happens with the compiler
 ### <pkg:mixed-updates.1>