diff --git a/docs/html/internals.pl b/docs/html/internals.pl
deleted file mode 100644
index 86aaa029..00000000
--- a/docs/html/internals.pl
+++ /dev/null
@@ -1,218 +0,0 @@
-# LaTeX2HTML 2002-2-1 (1.71)
-# Associate internals original text with physical files.
-
-
-$key = q/cite_PSBLASGUIDE/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precinit/;
-$ref_files{$key} = "$dir".q|node16.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precset/;
-$ref_files{$key} = "$dir".q|node17.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_dd2_96/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:ex_and_test/;
-$ref_files{$key} = "$dir".q|node9.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_Saad_book/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_CAI_SARKIS/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:conventions/;
-$ref_files{$key} = "$dir".q|node3.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_blas2/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_dd1_94/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_SUPERLUDIST/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_TUMINARO_TONG/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precdescr/;
-$ref_files{$key} = "$dir".q|node21.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_psblas_00/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/eq:tent_prol/;
-$ref_files{$key} = "$dir".q|node12.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:overview/;
-$ref_files{$key} = "$dir".q|node3.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:multilevel/;
-$ref_files{$key} = "$dir".q|node11.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_SUPERLU/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_StubenGMD69_99/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/fig:mlhpost_alg/;
-$ref_files{$key} = "$dir".q|node11.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:userinterface/;
-$ref_files{$key} = "$dir".q|node15.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:background/;
-$ref_files{$key} = "$dir".q|node10.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_VANEK_MANDEL_BREZINA/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/system1/;
-$ref_files{$key} = "$dir".q|node3.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_MPI2/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/fig:ex_3la/;
-$ref_files{$key} = "$dir".q|node14.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:license/;
-$ref_files{$key} = "$dir".q|node23.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:errors/;
-$ref_files{$key} = "$dir".q|node22.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/tab:precinit/;
-$ref_files{$key} = "$dir".q|node13.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/fig:ex_default/;
-$ref_files{$key} = "$dir".q|node14.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_UMFPACK/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_apnum_07/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:started/;
-$ref_files{$key} = "$dir".q|node13.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/eq:jac_smoother/;
-$ref_files{$key} = "$dir".q|node12.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precaply/;
-$ref_files{$key} = "$dir".q|node19.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/fig:ex_3lh/;
-$ref_files{$key} = "$dir".q|node14.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_BREZINA_VANEK/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_Cai_Widlund_92/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_para_04/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_BLACS/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_EFSTATHIOU/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:aggregation/;
-$ref_files{$key} = "$dir".q|node12.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:examples/;
-$ref_files{$key} = "$dir".q|node14.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_MPI1/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_aaecc_07/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:building/;
-$ref_files{$key} = "$dir".q|node5.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:distribution/;
-$ref_files{$key} = "$dir".q|node4.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/eq:smoothed_prol/;
-$ref_files{$key} = "$dir".q|node12.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_blas1/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/fig:ex_1l/;
-$ref_files{$key} = "$dir".q|node14.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precbld/;
-$ref_files{$key} = "$dir".q|node18.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precfree/;
-$ref_files{$key} = "$dir".q|node20.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_blas3/;
-$ref_files{$key} = "$dir".q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-1;
-
diff --git a/docs/html/labels.pl b/docs/html/labels.pl
deleted file mode 100644
index 4aaad6de..00000000
--- a/docs/html/labels.pl
+++ /dev/null
@@ -1,353 +0,0 @@
-# LaTeX2HTML 2002-2-1 (1.71)
-# Associate labels original text with physical files.
-
-
-$key = q/cite_PSBLASGUIDE/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precinit/;
-$external_labels{$key} = "$URL/" . q|node16.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precset/;
-$external_labels{$key} = "$URL/" . q|node17.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_dd2_96/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:ex_and_test/;
-$external_labels{$key} = "$URL/" . q|node9.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_Saad_book/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_CAI_SARKIS/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:conventions/;
-$external_labels{$key} = "$URL/" . q|node3.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_blas2/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_dd1_94/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_SUPERLUDIST/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_TUMINARO_TONG/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precdescr/;
-$external_labels{$key} = "$URL/" . q|node21.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_psblas_00/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/eq:tent_prol/;
-$external_labels{$key} = "$URL/" . q|node12.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:overview/;
-$external_labels{$key} = "$URL/" . q|node3.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:multilevel/;
-$external_labels{$key} = "$URL/" . q|node11.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_SUPERLU/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_StubenGMD69_99/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/fig:mlhpost_alg/;
-$external_labels{$key} = "$URL/" . q|node11.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:userinterface/;
-$external_labels{$key} = "$URL/" . q|node15.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:background/;
-$external_labels{$key} = "$URL/" . q|node10.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_VANEK_MANDEL_BREZINA/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/system1/;
-$external_labels{$key} = "$URL/" . q|node3.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_MPI2/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/fig:ex_3la/;
-$external_labels{$key} = "$URL/" . q|node14.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:license/;
-$external_labels{$key} = "$URL/" . q|node23.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:errors/;
-$external_labels{$key} = "$URL/" . q|node22.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/tab:precinit/;
-$external_labels{$key} = "$URL/" . q|node13.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/fig:ex_default/;
-$external_labels{$key} = "$URL/" . q|node14.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_UMFPACK/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_apnum_07/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:started/;
-$external_labels{$key} = "$URL/" . q|node13.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/eq:jac_smoother/;
-$external_labels{$key} = "$URL/" . q|node12.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precaply/;
-$external_labels{$key} = "$URL/" . q|node19.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/fig:ex_3lh/;
-$external_labels{$key} = "$URL/" . q|node14.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_BREZINA_VANEK/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_Cai_Widlund_92/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_para_04/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_BLACS/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_EFSTATHIOU/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:aggregation/;
-$external_labels{$key} = "$URL/" . q|node12.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:examples/;
-$external_labels{$key} = "$URL/" . q|node14.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_MPI1/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_aaecc_07/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:building/;
-$external_labels{$key} = "$URL/" . q|node5.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:distribution/;
-$external_labels{$key} = "$URL/" . q|node4.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/eq:smoothed_prol/;
-$external_labels{$key} = "$URL/" . q|node12.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_blas1/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/fig:ex_1l/;
-$external_labels{$key} = "$URL/" . q|node14.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precbld/;
-$external_labels{$key} = "$URL/" . q|node18.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precfree/;
-$external_labels{$key} = "$URL/" . q|node20.html|; 
-$noresave{$key} = "$nosave";
-
-$key = q/cite_blas3/;
-$external_labels{$key} = "$URL/" . q|node24.html|; 
-$noresave{$key} = "$nosave";
-
-1;
-
-
-# LaTeX2HTML 2002-2-1 (1.71)
-# labels from external_latex_labels array.
-
-
-$key = q/sec:license/;
-$external_latex_labels{$key} = q|A|; 
-$noresave{$key} = "$nosave";
-
-$key = q/fig:ex_3la/;
-$external_latex_labels{$key} = q|4|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:errors/;
-$external_latex_labels{$key} = q|7|; 
-$noresave{$key} = "$nosave";
-
-$key = q/tab:p_smoother/;
-$external_latex_labels{$key} = q|3|; 
-$noresave{$key} = "$nosave";
-
-$key = q/tab:precinit/;
-$external_latex_labels{$key} = q|1|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precinit/;
-$external_latex_labels{$key} = q|6.1|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precset/;
-$external_latex_labels{$key} = q|6.2|; 
-$noresave{$key} = "$nosave";
-
-$key = q/fig:ex_default/;
-$external_latex_labels{$key} = q|2|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:ex_and_test/;
-$external_latex_labels{$key} = q|3.4|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:started/;
-$external_latex_labels{$key} = q|5|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precdescr/;
-$external_latex_labels{$key} = q|6.6|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:overview/;
-$external_latex_labels{$key} = q|1|; 
-$noresave{$key} = "$nosave";
-
-$key = q/eq:tent_prol/;
-$external_latex_labels{$key} = q|2|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precaply/;
-$external_latex_labels{$key} = q|6.4|; 
-$noresave{$key} = "$nosave";
-
-$key = q/fig:ex_3lh/;
-$external_latex_labels{$key} = q|3|; 
-$noresave{$key} = "$nosave";
-
-$key = q/eq:jac_smoother/;
-$external_latex_labels{$key} = q|4|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:multilevel/;
-$external_latex_labels{$key} = q|4.1|; 
-$noresave{$key} = "$nosave";
-
-$key = q/tab:p_coarse/;
-$external_latex_labels{$key} = q|5|; 
-$noresave{$key} = "$nosave";
-
-$key = q/fig:mlhpost_alg/;
-$external_latex_labels{$key} = q|1|; 
-$noresave{$key} = "$nosave";
-
-$key = q/tab:p_type/;
-$external_latex_labels{$key} = q|2|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:userinterface/;
-$external_latex_labels{$key} = q|6|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:background/;
-$external_latex_labels{$key} = q|4|; 
-$noresave{$key} = "$nosave";
-
-$key = q/tab:p_aggregation/;
-$external_latex_labels{$key} = q|4|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:aggregation/;
-$external_latex_labels{$key} = q|4.2|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:examples/;
-$external_latex_labels{$key} = q|5.1|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:building/;
-$external_latex_labels{$key} = q|3|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:distribution/;
-$external_latex_labels{$key} = q|2|; 
-$noresave{$key} = "$nosave";
-
-$key = q/system1/;
-$external_latex_labels{$key} = q|1|; 
-$noresave{$key} = "$nosave";
-
-$key = q/eq:smoothed_prol/;
-$external_latex_labels{$key} = q|3|; 
-$noresave{$key} = "$nosave";
-
-$key = q/fig:ex_1l/;
-$external_latex_labels{$key} = q|5|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precbld/;
-$external_latex_labels{$key} = q|6.3|; 
-$noresave{$key} = "$nosave";
-
-$key = q/sec:precfree/;
-$external_latex_labels{$key} = q|6.5|; 
-$noresave{$key} = "$nosave";
-
-1;
-