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 /userContent/presentations/2017-08-07-DebConf17/css/theme/simple.css | |
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 'userContent/presentations/2017-08-07-DebConf17/css/theme/simple.css')
0 files changed, 0 insertions, 0 deletions