diff doc/interpreter/munge-texi.cc @ 4215:bc6059c5ddc7

[project @ 2002-12-04 05:21:08 by jwe]
author jwe
date Wed, 04 Dec 2002 05:21:08 +0000
parents b75f74a76941
children 64c444ac1fee
line wrap: on
line diff
--- a/doc/interpreter/munge-texi.cc
+++ b/doc/interpreter/munge-texi.cc
@@ -24,28 +24,12 @@
 #include <iostream>
 #include <fstream>
 #include <string>
+#include <map>
 
 static const char doc_delim = '';
 
-// If this fails to compile and link for you, delete the following
-// define to use old non-standard GNU libg++ Map class.
-
-#define USE_STL
-
-#if defined (USE_STL)
-
-#include <map>
-
 static std::map<std::string, std::string> help_text;
 
-#else
-
-#include "Map.h"
-
-static CHMap<std::string> help_text = CHMap<std::string> (std::string ());
-
-#endif
-
 static void
 fatal (const std::string& msg)
 {
@@ -104,11 +88,7 @@
 	    {
 	      std::string doc_string = extract_docstring (infile);
 
-#if defined (USE_STL)
 	      if (help_text.find (symbol_name) != help_text.end ())
-#else
-	      if (help_text.contains (symbol_name))
-#endif
 		std::cerr << "ignoring duplicate entry for "
 			  << symbol_name << "\n";
 	      else