From: wolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Mon, 3 Apr 2000 16:55:27 +0000 (+0000)
Subject: Ack, dir names do not match API doc names.
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e883588dd56e9506924ac0c4b06f9d1226e5c69a;p=dealii-svn.git

Ack, dir names do not match API doc names.


git-svn-id: https://svn.dealii.org/trunk@2665 0785d39b-7218-0410-832d-ea1e28bc413d
---

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 "<h3><a href=\"auto/kdoc/$$dirbasename/index.html\""\
                  " target=\"body\">"                                 \
                  "$$dirbasename sub-library</a></h3>\n\n" >> $@ ;    \