summaryrefslogtreecommitdiffstats
path: root/webpack.dev.js
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-15 17:56:50 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-15 17:56:50 +0000
commit6637322c8ab1c5ff80a2b6ca59c9ba1d40aeba2c (patch)
tree04e41667e9eae835f5d88bda4f6d3f5c2664de01 /webpack.dev.js
parentInitial commit. (diff)
downloadsphinx-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.js36
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"],
+ })
+ ]
+});