summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKjell Ahlstedt <kjellahlstedt@gmail.com>2020-07-20 15:50:50 +0200
committerKjell Ahlstedt <kjellahlstedt@gmail.com>2020-07-20 15:50:50 +0200
commitdbc362e4341988668d06e0d9f09482b5d5bf3bd6 (patch)
tree5ff2535ce739af44693236699af5f5c09a5da6fc
parent80f49c7e6f07651c73b58f74e084d1fd68c95d60 (diff)
downloadmm-common-dbc362e4341988668d06e0d9f09482b5d5bf3bd6.tar.gz
doc-reference.py: Fix the DevHelp base path
The DevHelp base path shall not include DESTDIR. Fixes #2
-rwxr-xr-xutil/build_scripts/doc-reference.py15
1 files changed, 8 insertions, 7 deletions
diff --git a/util/build_scripts/doc-reference.py b/util/build_scripts/doc-reference.py
index c798d48..8edd6ba 100755
--- a/util/build_scripts/doc-reference.py
+++ b/util/build_scripts/doc-reference.py
@@ -91,13 +91,14 @@ def install_doc():
# <devhelpfile> is a relative or absolute path in the build directory.
# <htmlrefdir> and <devhelpdir> are installation directories, relative to {prefix}.
devhelpfile = sys.argv[3]
- devhelpdir = os.path.join(os.getenv('MESON_INSTALL_DESTDIR_PREFIX'), sys.argv[4])
- htmlrefdir = os.path.join(os.getenv('MESON_INSTALL_DESTDIR_PREFIX'), sys.argv[5])
+ destdir_devhelpdir = os.path.join(os.getenv('MESON_INSTALL_DESTDIR_PREFIX'), sys.argv[4])
+ destdir_htmlrefdir = os.path.join(os.getenv('MESON_INSTALL_DESTDIR_PREFIX'), sys.argv[5])
+ prefix_htmlrefdir = os.path.join(os.getenv('MESON_INSTALL_PREFIX'), sys.argv[5])
build_dir = os.path.dirname(devhelpfile)
# Create the installation directories, if they do not exist.
- os.makedirs(htmlrefdir, exist_ok=True)
- os.makedirs(devhelpdir, exist_ok=True)
+ os.makedirs(destdir_htmlrefdir, exist_ok=True)
+ os.makedirs(destdir_devhelpdir, exist_ok=True)
# Install html files.
cmd = [
@@ -107,7 +108,7 @@ def install_doc():
'--verbose',
'--mode=0644',
] + sys.argv[6:] + [
- '-t', htmlrefdir,
+ '-t', destdir_htmlrefdir,
'--glob',
'--',
os.path.join(build_dir, 'html', '*'),
@@ -122,8 +123,8 @@ def install_doc():
os.path.join(MMDOCTOOLDIR, 'doc-install.pl'),
'--verbose',
'--mode=0644',
- '--book-base=' + htmlrefdir.rstrip('/'),
- '-t', devhelpdir,
+ '--book-base=' + prefix_htmlrefdir.rstrip('/'),
+ '-t', destdir_devhelpdir,
'--',
devhelpfile,
]