From e75485ec29af6e441409aaa58c49c62116d667b9 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Mon, 3 Apr 2000 16:55:27 +0000 Subject: [PATCH] Ack, dir names do not match API doc names. git-svn-id: https://svn.dealii.org/trunk@2665 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/Makefile.in | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/deal.II/doc/Makefile.in b/deal.II/doc/Makefile.in index b3aa192947..51cdd9e4a0 100644 --- a/deal.II/doc/Makefile.in +++ b/deal.II/doc/Makefile.in @@ -44,6 +44,8 @@ validate-xrefs: # generate a class index from each of the various include directories +# note that both include dirs deal.II/include/{dofs,fe} are mapped to +# API library `dof' class_index.html: $(shell echo $D/base/include/base/*.h \ $D/lac/include/lac/*.h \ $D/deal.II/include/*/*.h) @@ -73,7 +75,13 @@ class_index.html: $(shell echo $D/base/include/base/*.h \ if test -d $$dir -a \ ! "`echo $$dir | $(PERL) -p -e 's!.*/!!;'`" = CVS; then \ echo "Creating class index for $$dir" ; \ - dirbasename="`echo $$dir | $(PERL) -p -e 's!.*/!!;'`" ; \ + dirbasename="`echo $$dir | $(PERL) -p -e 's!.*/!!;'`" ; \ + if test $$dirbasename = dofs; then \ + dirbasename=dof; \ + fi; \ + if test $$dirbasename = fe; then \ + dirbasename=dof; \ + fi; \ echo "

" \ "$$dirbasename sub-library

\n\n" >> $@ ; \ -- 2.39.5