diff options
author | Luciano Iam <lucianito@gmail.com> | 2020-04-09 16:34:16 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2020-04-09 20:56:46 +0200 |
commit | 891c63fe892b59fcf5a5579191ea844fad9f9d07 (patch) | |
tree | e93223d81aa26654fca0357750882d6c84b9d8c7 /share/web_surfaces/wscript | |
parent | d694ee97c7a77172943ab342c9d5edd9bb57d2d0 (diff) |
Update HTML/CSS/JS frontend
Diffstat (limited to 'share/web_surfaces/wscript')
-rw-r--r-- | share/web_surfaces/wscript | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/share/web_surfaces/wscript b/share/web_surfaces/wscript new file mode 100644 index 0000000000..d549abea38 --- /dev/null +++ b/share/web_surfaces/wscript @@ -0,0 +1,13 @@ +#!/usr/bin/env python +import os + +def configure(conf): + pass + +def build(bld): + datadir = os.path.join(bld.env['DATADIR'], 'web_surfaces') + surfaces = bld.path.ant_glob ('**', excl='wscript') + bld.install_files (datadir, surfaces, relative_trick=True) + +def options(opt): + pass |