Date:	Tue, 24 Aug 1999 08:31:14 +0300 (IDT)
From:	Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
X-Sender:	eliz AT is
To:	djgpp-workers AT delorie DOT com
cc:	Robert Hoehne <robert DOT hoehne AT gmx DOT net>
Subject:	RHIDE section in DJGPP.ENV
Message-ID:	<Pine.SUN.3.91.990824082953.12112F-100000@is>
MIME-Version:	1.0
Reply-To:	djgpp-workers AT delorie DOT com

Is the following a good idea (for v2.03)?  Are there any other 
RHIDE-related variables that we should put into this section?

*** djgpp.en~	Mon Jul  5 10:26:00 1999
--- djgpp.env	Mon Aug 23 12:21:18 1999
***************
*** 112,114 ****
--- 112,118 ----
  MANPATH=%/>MANPATH%;%DJDIR%/man;%DJDIR%/info
  PAGER=%DJDIR%/bin/less.exe
  
+ [rhide]
+ RHIDE_TYPED_LIBS_DJGPP.cc=stdcxx
+ RHIDE_TYPED_LIBS_DJGPP.cxx=stdcxx
+ RHIDE_TYPED_LIBS_DJGPP.cpp=stdcxx

- Raw text -