From: guido Date: Mon, 15 Feb 1999 11:56:47 +0000 (+0000) Subject: scripts moved from deal.II tree X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f253884cc6e8edcf3130ff847575773787941c2e;p=dealii-svn.git scripts moved from deal.II tree git-svn-id: https://svn.dealii.org/trunk@799 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/auto/scripts/addclasses_db.pl b/deal.II/doc/auto/scripts/addclasses_db.pl new file mode 100644 index 0000000000..c691322f46 --- /dev/null +++ b/deal.II/doc/auto/scripts/addclasses_db.pl @@ -0,0 +1,42 @@ +#!/usr/local/bin/perl + +# Update Postgres database entries from kdoc sources + +use DBI; + +$db = DBI->connect("DBI:Pg:dbname=deal",undef,undef); + +die $DBI::errstr if (!$db); + +print "Connected\n"; + +$db->do("UPDATE classes SET persistent=FALSE;") + || die $db->errstr; + +while(<>) +{ + next unless(/=/); + next if (/\#/); + s/=.*//g; + chop; + print $_, " "; + + # Try to find class name + + $sth = $db->prepare("UPDATE classes set persistent=TRUE where name = '$_';") + || die $db->errstr; + $sth->execute || die $sth->errstr; + + $rows = $sth->rows; + $sth->finish; + + # Insert name if it did not exist. + + if ($rows == 0) + { + print "insert"; + + $db->do("INSERT INTO classes ( name, display, persistent, manually ) values ( '$_', TRUE, TRUE, FALSE);")|| die $db->errstr;; + } + print "\n"; +} diff --git a/deal.II/doc/auto/scripts/index.pl b/deal.II/doc/auto/scripts/index.pl index f665dafd0a..737c091217 100644 --- a/deal.II/doc/auto/scripts/index.pl +++ b/deal.II/doc/auto/scripts/index.pl @@ -11,7 +11,7 @@ while(<>) $entry = pop @n; while ($#n>=0) { - $entry .= " in " . pop @n; + $entry .= "+" . pop @n; } $entry .= '=' . $2 . '=' . $library; push @entries, $entry; @@ -28,19 +28,20 @@ print << 'EOT' Remark: Lowercase is sorted behind uppercase and destructors are isolated at the end.
-