Run "make html"
authorChristoph Berg <myon@debian.org>
Thu, 26 May 2016 11:59:18 +0000 (13:59 +0200)
committerChristoph Berg <myon@debian.org>
Thu, 26 May 2016 11:59:18 +0000 (13:59 +0200)
commit51acc620d4a015c47e09d95b4c639284ec10d645
tree85d2e72ea766606c635b6d3454c1ef78d7652fb7
parentcb80f9d653e673c2e886ee31fc357519313837c7
Run "make html"

"make html" had not been run for some time, do that now.
check_postgres.pl.html