No changes between revisions
/design/trunk/src/images/arch1.png |
Cannot display: file marked as a binary type. |
svn:mime-type = application/octet-stream |
Property changes: |
Deleted: svn:mime-type |
-application/octet-stream |
\ No newline at end of property |
/design/trunk/src/images/helenos.gif |
Cannot display: file marked as a binary type. |
svn:mime-type = application/octet-stream |
Property changes: |
Deleted: svn:mime-type |
-application/octet-stream |
\ No newline at end of property |
/design/trunk/src/images/btree.png |
Cannot display: file marked as a binary type. |
svn:mime-type = application/octet-stream |
Property changes: |
Deleted: svn:mime-type |
-application/octet-stream |
\ No newline at end of property |
/design/trunk/src/images/buddy_alloc.png |
Cannot display: file marked as a binary type. |
svn:mime-type = application/octet-stream |
Property changes: |
Deleted: svn:mime-type |
-application/octet-stream |
\ No newline at end of property |
/design/trunk/src/images/fifo.png |
Cannot display: file marked as a binary type. |
svn:mime-type = application/octet-stream |
Property changes: |
Deleted: svn:mime-type |
-application/octet-stream |
\ No newline at end of property |
/design/trunk/src/images/frame_alloc.png |
Cannot display: file marked as a binary type. |
svn:mime-type = application/octet-stream |
Property changes: |
Deleted: svn:mime-type |
-application/octet-stream |
\ No newline at end of property |
/design/trunk/src/images/thread_states.png |
Cannot display: file marked as a binary type. |
svn:mime-type = application/octet-stream |
Property changes: |
Deleted: svn:mime-type |
-application/octet-stream |
\ No newline at end of property |
/design/trunk/src/images/slab_alloc.png |
Cannot display: file marked as a binary type. |
svn:mime-type = application/octet-stream |
Property changes: |
Deleted: svn:mime-type |
-application/octet-stream |
\ No newline at end of property |
/design/trunk/src/images.vector/convert |
11,4 → 11,10 |
echo "Converting $f.eps to $f.pdf"; |
egrep -v "^%%Orientation:" $f.eps | epstopdf --filter --outfile $f.pdf |
fi |
|
if [ ! -f "$f.png" ]; then |
echo "Converting $f.svg to $f.png"; |
inkscape --without-gui --export-width=600 --export-png=$f.png $f.svg |
|
fi |
done |