thevar1able/ClickHouse
1
0
Fork 0
mirror of https://github.com/ClickHouse/ClickHouse.git synced 2024-11-18 21:51:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix copying of txt files

Browse Source
This commit is contained in:
Ivan Blinkov 2017-06-30 14:29:55 +03:00
parent b4f4330f33
commit 1204c7a776
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
website/gulpfile.js
View File

@ -23,6 +23,7 @@ var paths = {
'!public/**/*.html'],
reference: ['deprecated/reference_ru.html', 'deprecated/reference_en.html'],
docs: [docsDir + '/build/docs/**/*'],
docstxt: ['docs/**/*.txt'],
scripts: [
'**/*.js',
'!gulpfile.js',
@ -53,16 +54,15 @@ gulp.task('reference', [], function () {
.pipe(gulp.dest(outputDir + '/deprecated'))
});
gulp.task('docstxt', [], function () {
gulp.task('docs', [], function () {
run('cd ' + docsDir + '; make');
return gulp.src(paths.docs)
.pipe(gulp.dest(outputDir + '/../docs'))
});
gulp.task('docs', ['docstxt'], function () {
run('cd ' + docsDir + '; make');
return gulp.src(paths.docs)
.pipe(gulp.dest(outputDir + '/../docs'))
gulp.task('docstxt', ['docs'], function () {
return gulp.src(paths.docstxt)
.pipe(gulp.dest(outputDir + '/docs'))
});
gulp.task('presentations', [], function () {
@ -75,7 +75,7 @@ gulp.task('robotstxt', [], function () {
.pipe(gulp.dest(outputDir))
});
gulp.task('htmls', ['docs'], function () {
gulp.task('htmls', ['docs', 'docstxt'], function () {
return gulp.src(paths.htmls)
.pipe(htmlmin({collapseWhitespace: true}))
.pipe(minifyInline())