mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-01 17:36:35 +00:00
1944b0c6f0
It works locally because it can just nagivate to ../lib/ve.
In production however we need docs/ to be standalone so that we
can publish it without needing a subdirectory at:
https://docs.wikimedia.org/VisualEditor/master/.
For local usage this will be a symlink that still points to
the sibling directory (but using a symlink instead of a ../ path).
In production we can then instruct jenkins to replace that symlink
with an actual copy of lib/. As long as the generated path
references in the HTML remain the same.
Follows-up
|
||
---|---|---|
.. | ||
buildi18n-json.sh | ||
buildi18n-php.php | ||
generateDocs.sh | ||
msgs-oojs-ui | ||
msgs-ve | ||
msgs-ve-mw | ||
msgs-ve-wmf |