diff options
author | Mattia Rizzolo <mattia@debian.org> | 2017-08-18 10:46:03 +0200 |
---|---|---|
committer | Mattia Rizzolo <mattia@debian.org> | 2017-08-18 10:46:56 +0200 |
commit | 5e163c081ca5d91990ae4626faf5375a3ba63c80 (patch) | |
tree | 44868871937ba68f2f8e6038b5ef1e0a31c8be9a | |
parent | 5c2e920c22acc30e23c0f454b1d5aaa3f82fd354 (diff) | |
download | jenkins.debian.net-5e163c081ca5d91990ae4626faf5375a3ba63c80.tar.xz |
reproducible: do not append .html twice to this file
postgresql_autodoc appens .html to the file name passed as option, so
done as was done until now it created a file named
reproducibledb.html.html.
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-rwxr-xr-x | bin/reproducible_maintenance.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index 202f8911..991f0a76 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -1,7 +1,7 @@ #!/bin/bash # Copyright 2014-2017 Holger Levsen <holger@layer-acht.org> -# © 2015 Mattia Rizzolo <mattia@mapreri.org> +# © 2015-2017 Mattia Rizzolo <mattia@mapreri.org> # released under the GPLv=2 DEBUG=false @@ -47,8 +47,7 @@ if [ "$HOSTNAME" = "$MAINNODE" ] ; then ln -s -f "$BACKUPFILE.xz" $BASE/reproducible.sql.xz # recreate documentation of database - SCHEMAFILE="$BASE/reproducibledb.html" - postgresql_autodoc -d $PGDATABASE -t html -f "$SCHEMAFILE" + postgresql_autodoc -d $PGDATABASE -t html -f "$BASE/reproducibledb" fi fi |