header_dir instead of cgal_lib_dir.

1998-03-19 17:03:46 +00:00 · 1998-03-19 17:03:46 +00:00 · 6d1aac9d72
parent a4dffb5f78
commit 6d1aac9d72
1 changed files with 1 additions and 1 deletions
--- a/Packages/Manual_tools/src/html_config.h
+++ b/Packages/Manual_tools/src/html_config.h
@ -23,7 +23,7 @@ extern const char* prog_name;
 extern char* current_filename;


-extern char* cgal_lib_dir;
+extern char* header_dir;

 /* An object storing the current font */
 /* ================================== */