From 5df07571a0c8549c7b77b3b981b23687f92f1be4 Mon Sep 17 00:00:00 2001 From: Dave Snider Date: Sun, 3 Nov 2013 19:38:21 -0800 Subject: [PATCH] better fix for this --- Gruntfile.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Gruntfile.js b/Gruntfile.js index 8838953b..7a7e1088 100644 --- a/Gruntfile.js +++ b/Gruntfile.js @@ -61,7 +61,8 @@ module.exports = function(grunt) { }, clean: { src: ['demo_docs/build'], - dist: ['sphinx_rtd_theme/*.html', 'sphinx_rtd_theme/static/**','sphinx_rtd_theme/sass/**'] + // Delete everything but __init__.py + dist: ['sphinx_rtd_theme/*', 'sphinx_rtd_theme/static/**','sphinx_rtd_theme/sass/**', '!sphinx_rtd_theme/__init__.py'] }, watch: {