thevar1able/ClickHouse
1
0
Fork 0
mirror of https://github.com/ClickHouse/ClickHouse.git synced 2024-12-11 08:52:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

CLICKHOUSE-3047: copy docs txts to public too

Browse Source
This commit is contained in:
Ivan Blinkov 2017-06-01 21:30:42 +03:00
parent aca2700d59
commit 9f38621cdc
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
website/gulpfile.js
View File

@ -49,7 +49,13 @@ gulp.task('reference', [], function () {
.pipe(gulp.dest(outputDir))
});
gulp.task('docs', [], function () {
gulp.task('docstxt', [], function () {
run('cd ' + docsDir + '; make');
return gulp.src(paths.docs + 'txt')
.pipe(gulp.dest(outputDir + '/docs'))
});
gulp.task('docs', ['docstxt'], function () {
run('cd ' + docsDir + '; make');
return gulp.src(paths.docs)
.pipe(gulp.dest(outputDir + '/../docs'))