diff options
| author | Bastien Nocera <hadess@hadess.net> | 2019-10-21 16:03:16 +0200 |
|---|---|---|
| committer | Bastien Nocera <hadess@hadess.net> | 2019-10-22 11:25:20 +0200 |
| commit | 7be0f8f2d6e1b88db9a1fc92dd75f5c64d9a1be6 (patch) | |
| tree | 20de285fb48a07f6c20fea6d1116f5c0c19885cf /web-export | |
| parent | 7390adadbe4821624a3beeafd8ff9420a455b148 (diff) | |
ci: Add CI
Diffstat (limited to 'web-export')
| -rwxr-xr-x | web-export/update.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web-export/update.py b/web-export/update.py index d290e47..bf0e171 100755 --- a/web-export/update.py +++ b/web-export/update.py @@ -32,7 +32,7 @@ DEVELOPMENT = True # When running this on the website itself, set USELOCALFILES to False # But since docbook2html isn't installed there, we currently have to run it locally so this is now True (i.e. it uses the local files) -USELOCALFILES = True +USELOCALFILES = False # Directory to put everything in, relative to the git root directory OUTPUTDIR = "public" |