songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

New \ccHtmlNoClassToc introduced.

This commit is contained in:
Lutz Kettner 1998-04-01 14:05:56 +00:00
parent b670e0c8b9
commit e5e1b4e7c9
3 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
Packages/Manual_tools/src/cc_extract_html.C
View File

@ -32,6 +32,7 @@ const char* prog_release = "$Revision$";
/* Flexibility for HTML class files. */
/* ================================= */
bool html_no_class_toc = false;
bool html_no_class_file = false;
bool html_no_class_links = false;
bool html_no_class_index = false;
@ -3167,8 +3168,9 @@ void handleClassFile( char* filename, const char* formatted_reference) {
}
// table of contents
*contents_stream << " <UL><LI> " << formatted_reference
<< "</UL>" << endl;
if ( ! html_no_class_toc)
*contents_stream << " <UL><LI> " << formatted_reference
<< "</UL>" << endl;
current_stream = class_stream;
current_filename = class_filename;
@ -3358,6 +3360,7 @@ void handleClassEnd( void) {
html_no_class_links = false;
html_no_class_file = false;
html_no_class_index = false;
html_no_class_toc = false;
}
char* templateClassBaseName( const char* classname) {

1
Packages/Manual_tools/src/html_config.h
View File

@ -65,6 +65,7 @@ const char* find_sort_key( const char* txt);
/* Flexibility for HTML class files. */
/* ================================= */
extern bool html_no_class_toc;
extern bool html_no_class_file;
extern bool html_no_class_links;
extern bool html_no_class_index;

4
Packages/Manual_tools/src/html_lex.yy
View File

@ -631,6 +631,10 @@ calblockintro ([\{][\\](cal))|([\\]mathcal[\{])
/* Flexibility for HTML class files. */
/* -------------------------------------------------------------- */
<INITIAL,MMODE,NestingMode>[\\]ccHtmlNoClassToc/{noletter} {
skipspaces();
html_no_class_toc = true;
}
<INITIAL,MMODE,NestingMode>[\\]ccHtmlNoClassFile/{noletter} {
skipspaces();
html_no_class_file = true;