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 /hosts/profitbricks-build10-amd64/usr/local | |
| 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>
Diffstat (limited to 'hosts/profitbricks-build10-amd64/usr/local')
0 files changed, 0 insertions, 0 deletions