ClickHouse/docs/tools/website.py

import logging
import os
import shutil

import cssmin
import htmlmin
import jsmin

def build_website(args):
    logging.info('Building website')
    shutil.copytree(
        args.website_dir,
        args.output_dir,
        ignore=shutil.ignore_patterns(
            '*.md',
            '*.sh',
            'build',
            'docs',
            'public',
            'node_modules'
        )
    )

def minify_website(args):
    for root, _, filenames in os.walk(args.output_dir):
        for filename in filenames:
            path = os.path.join(root, filename)
            if not (
                filename.endswith('.html') or 
                filename.endswith('.css') or 
                filename.endswith('.js')
            ):
                continue

            logging.info('Minifying %s', path)
            with open(path, 'rb') as f:
                content = f.read().decode('utf-8')
            if filename.endswith('.html'):
                content = htmlmin.minify(content, remove_empty_space=False)
            elif filename.endswith('.css'):
                content = cssmin.cssmin(content)
            elif filename.endswith('.js'):
                content = jsmin.jsmin(content)
            with open(path, 'wb') as f:
                f.write(content.encode('utf-8'))