diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-15 17:56:50 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-15 17:56:50 +0000 |
commit | 6637322c8ab1c5ff80a2b6ca59c9ba1d40aeba2c (patch) | |
tree | 04e41667e9eae835f5d88bda4f6d3f5c2664de01 /webpack.dev.js | |
parent | Initial commit. (diff) | |
download | sphinx-rtd-theme-6637322c8ab1c5ff80a2b6ca59c9ba1d40aeba2c.tar.xz sphinx-rtd-theme-6637322c8ab1c5ff80a2b6ca59c9ba1d40aeba2c.zip |
Adding upstream version 2.0.0+dfsg.upstream/2.0.0+dfsgupstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'webpack.dev.js')
-rw-r--r-- | webpack.dev.js | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/webpack.dev.js b/webpack.dev.js new file mode 100644 index 0000000..b01723e --- /dev/null +++ b/webpack.dev.js @@ -0,0 +1,36 @@ +const path = require("path"); +const merge = require("webpack-merge"); +const exec = require("child_process").exec; +const WatchPlugin = require("webpack-watch-files-plugin").default; +const ShellPlugin = require("webpack-shell-plugin"); +const common = require("./webpack.common.js"); + +module.exports = merge(common, { + mode: "development", + watch: true, + // The dev server uses both contentBase and publicPath. The contentBase is + // used to server the built docs, and publicPath is the bundle path for live + // reloading. The publicPath intercepts requests to the static assets in + // _static/. Opening http://localhost:1919 is everything you need for + // development. + devServer: { + contentBase: "docs/build/html", + port: 1919, + open: false, + hot: false, + liveReload: true, + publicPath: "/_static/", + disableHostCheck: true, + headers: { + "Access-Control-Allow-Origin": "*" + } + }, + plugins: [ + new WatchPlugin({ + files: ["./docs/**/*.rst", "./docs/**/*.py"] + }), + new ShellPlugin({ + onBuildStart: ["make -C docs clean html"], + }) + ] +}); |