These files are no longer part of release

Signed-off-by: Michal Čihař <[email protected]>
phpmyadmin · Apr 5, 2017 · 331c345 · 331c345
1 parent 942a0dd
commit 331c345
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -35,7 +35,6 @@ RUN set -x \
     && rm -rf /www/doc \
     && mkdir /www/doc \
     && mv /www/htmldoc /www/doc/html \
-    && rm /www/doc/html/.buildinfo /www/doc/html/objects.inv \
     && rm -rf /www/js/jquery/src/ /www/js/openlayers/src/ /www/setup/ /www/examples/ /www/test/ /www/po/ /www/templates/test/ /www/phpunit.xml.* /www/build.xml  /www/composer.json /www/RELEASE-DATE-$VERSION \
     && sed -i "s@define('CONFIG_DIR'.*@define('CONFIG_DIR', '/etc/phpmyadmin/');@" /www/libraries/vendor_config.php \
     && chown -R root:nobody /www \