From da00466081feedb2e9e0cd771aa95d8bcb22c385 Mon Sep 17 00:00:00 2001 From: Frank Yu Date: Sat, 3 Jul 2021 00:44:10 +0800 Subject: [PATCH] Update docs for theming --- doc/development/theming.rst | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/development/theming.rst b/doc/development/theming.rst index da2c644b9..a63a1d668 100644 --- a/doc/development/theming.rst +++ b/doc/development/theming.rst @@ -256,6 +256,9 @@ Here is some sample code to accomplish this: .. code-block:: python + from os import path + from sphinx.util.fileutil import copy_asset_file + def copy_custom_files(app, exc): if app.builder.format == 'html' and not exc: staticdir = path.join(app.builder.outdir, '_static')