diff options
| author | Xavi Artigas <xavierartigas@yahoo.es> | 2019-06-11 19:57:24 +0200 |
|---|---|---|
| committer | Xavi Artigas <xavierartigas@yahoo.es> | 2019-06-11 20:00:59 +0200 |
| commit | 0d158900b4e8db7eac6d84e46e0955456351c9f7 (patch) | |
| tree | 23e0c814b82d51409d6afec9afc541a65796ec04 /doc | |
| parent | 56c566a31ba621aaf7ec38b9c9301c50849d17ab (diff) | |
| download | efl-0d158900b4e8db7eac6d84e46e0955456351c9f7.tar.gz | |
docfx: Only add media files in use to the final docs
The setup script copied ALL media files, but only the C# tutorials and guides.
A lot of space can be saved in the generated _site folder if only the media
files relevant to C# are copied.
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/docfx/setup.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/docfx/setup.sh b/doc/docfx/setup.sh index 3cf9d60e3b..b166516fd5 100755 --- a/doc/docfx/setup.sh +++ b/doc/docfx/setup.sh @@ -50,10 +50,12 @@ find articles/www-content/pages/develop/tutorials -name "start.md.txt" -exec rm find articles/www-content/pages/develop/guides -name "start.md.txt" -exec rm {} \; # Remove the trailing .txt from filenames (DocFX wants only the .md) for f in `find articles -name "*.md.txt"`; do mv $f $(echo $f | rev | cut -c5- | rev) ; done -# Copy all media files to the images folder +# Copy all media files currently in use to the images folder rm -rf images mkdir images -cp -r www-content/media/* images +cd www-content/media +for f in `find ../../articles -name "*.md" | xargs grep -Poh '(?<=/_media/)[^)]*'`; do cp -f --parents $f ../../images; done +cd ../.. # Remove git clone now that we have everything we wanted rm -rf www-content |