webpack.config.js

const webpack = require('webpack');

module.exports = env => {
    var mode,filename,devtool;
    if (env.debug) {
	mode = "development";
	devtool = "inline-source-map";
    }
    else {
	mode = "production";
	devtool = false;
    }
    if (env.minimal) filename = "public/minimal.js"; else filename = "public/index.js";
    return {
	entry: "./src/client/index.ts",
	output: {
	    path: __dirname, // otherwise is put in "dist/"
	    filename: filename
	},
	module: {
	    rules: [
		{
		    test: /\.ts$/,
		    use: 'ts-loader',
		    exclude: /node_modules/
		},
		{
		    test: /\.m2$|\.html$|\.txt$/,
		    use: 'raw-loader'
		},
		{
		    test: /KaTeX.*js$/,
		    use: 'babel-loader',
		    exclude: /node_modules/
		}
	    ]
	},
	resolve: {
	    extensions: [ '.ts', '.js' ],
	},
	mode: mode,
	devtool: devtool,
	plugins: [
	    new webpack.DefinePlugin({ "MINIMAL": JSON.stringify(env.minimal),
				       "process.env.npm_package_version": JSON.stringify(process.env.npm_package_version) }),
	]
    };
};