mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-13 17:48:17 +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
|
||
---|---|---|
.. | ||
categories.json | ||
config.json | ||
CustomTags.rb | ||
eg-iframe.html | ||
eg-iframe.html.template | ||
external.js | ||
generate.sh | ||
MetaTags.rb | ||
mw-categories.json |