From 759c61b53dee8cd20de6745e831fdc68a3748df1 Mon Sep 17 00:00:00 2001 From: wolf Date: Wed, 24 Jan 2001 09:40:05 +0000 Subject: [PATCH] Update from 1.12 git-svn-id: https://svn.dealii.org/branches/Branch-3-1@3774 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/Makefile.in | 23 ++++++++++++++++++++++- 1 file changed, 22 insertions(+), 1 deletion(-) diff --git a/deal.II/doc/Makefile.in b/deal.II/doc/Makefile.in index f072bdbd19..2f5c6facff 100644 --- a/deal.II/doc/Makefile.in +++ b/deal.II/doc/Makefile.in @@ -70,6 +70,14 @@ class_index.html: $(shell echo $D/base/include/base/*.h \ "in which API documentation to find the corresponding reference.\n" \ "

" \ "This file is automatically generated, so please excuse the strange layout.\n" \ + "Furthermore, please note that the script is not perfect, and even though it\n" \ + "tries to identify the file corresponding to each class, it is not always\n" \ + "able to do so, in particular in presence of nested classes or explicitely\n" \ + "specialized templates, or if a class name appears more than once (e.g. as local\n" \ + "classes in other classes). In this case, no link is presented with the name,\n" \ + "but you can nevertheless get at the documentation of the class by clicking on\n" \ + "the link leading to the top page for each sub-library; this link is at the top\n" \ + "of each of the following sections.\n" \ >> $@ echo '\n' >> $@ ; \ for dir in $D/base/include/base \ @@ -107,11 +115,24 @@ class_index.html: $(shell echo $D/base/include/base/*.h \ @classes = (@classes, $$_); \ } \ print " \n"; \ + $$allfiles = `ls -1 auto/kdoc/*/*.html`; \ $$n_classes = $$#classes + 1; \ for ($$col=0; $$col<3; $$col++) { \ print " \n"; \ } \ -- 2.39.5
\n"; \ for ($$i=0; $$i<$$n_classes/3; $$i++) { \ - print " $$classes[$$i+$$col*($$n_classes+1)/3]
\n";\ + $$classname = $$classes[$$i+$$col*($$n_classes+1)/3]; \ + $$mangledname = $$classname; \ + $$mangledname =~ s/</\@3C/g; \ + $$mangledname =~ s/>/\@3E/g; \ + $$mangledname =~ s/ /\@20/g; \ + $$filename = `echo \"$$allfiles\"|egrep \"/([a-zA-Z0-9_\@]+__)*$$mangledname.html\"`; \ + $$filename =~ s/\n/ /g; \ + $$filename =~ s/\s+$$//g; \ + if ($$filename =~ / / || $$filename eq "") { \ + print " $$classname
\n"; \ + } else { \ + print " $$classname
\n";\ + } \ } \ print "