diff --git a/ws/Oxygenxml/Extra/Readme.txt b/ws/Oxygenxml/extra/Readme.txt similarity index 100% rename from ws/Oxygenxml/Extra/Readme.txt rename to ws/Oxygenxml/extra/Readme.txt diff --git a/ws/Oxygenxml/extra/archiveMyself.sh b/ws/Oxygenxml/extra/archiveMyself.sh new file mode 100755 index 0000000000000000000000000000000000000000..9d3b7abc5b43cd4ae09fb84d0042ab53477f57e9 --- /dev/null +++ b/ws/Oxygenxml/extra/archiveMyself.sh @@ -0,0 +1,2 @@ +cd /; tar --files-from=usr/share/oxygenxml_extra/files.list -c| bzip2 -9 > /tmp/oxygenxml.tar.bz2 + diff --git a/ws/Oxygenxml/Extra/files.list b/ws/Oxygenxml/extra/files.list similarity index 100% rename from ws/Oxygenxml/Extra/files.list rename to ws/Oxygenxml/extra/files.list diff --git a/ws/Oxygenxml/Extra/javaOptions.patch b/ws/Oxygenxml/extra/javaOptions.patch similarity index 100% rename from ws/Oxygenxml/Extra/javaOptions.patch rename to ws/Oxygenxml/extra/javaOptions.patch