diff options
| -rwxr-xr-x | bin/reproducible_maintenance.sh | 5 | ||||
| -rwxr-xr-x | update_jdn.sh | 1 |
2 files changed, 6 insertions, 0 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index c6e7c63a..d742db62 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -45,6 +45,11 @@ if [ "$HOSTNAME" = "$MAINNODE" ] ; then # make the backup public ln -s -f "$BACKUPFILE.xz" $BASE/reproducible.sql.xz + + # recreate documentation of database + mkdir -p $BASE/schema + SCHEMAFILE="$BASE/schema/reproducibledb.html" + postgresql_autodoc -d $PGDATABASE -t html -f "$SCHEMAFILE" fi fi diff --git a/update_jdn.sh b/update_jdn.sh index 48ceb067..1442ac1b 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -438,6 +438,7 @@ if [ -f /etc/debian_version ] ; then openjdk-7-jre pandoc postgresql + postgresql-autodoc postgresql-client-9.4 poxml procmail |