X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=virt-ctrl%2Frebuild-icons.sh;h=cef020df1f6cbd2acc0b7e3c8e5242e38449a1f4;hb=ea1dd5375a600d9156165c1ce208d5feaecbbba2;hp=399e1829cd62f905074e63f9dd1d2d886e3c2256;hpb=da182bf2e5944bf7d736807cc2a0178b81b8fb52;p=virt-ctrl.git diff --git a/virt-ctrl/rebuild-icons.sh b/virt-ctrl/rebuild-icons.sh index 399e182..cef020d 100755 --- a/virt-ctrl/rebuild-icons.sh +++ b/virt-ctrl/rebuild-icons.sh @@ -17,13 +17,12 @@ # Generate vc_icons.ml -echo <<'EOF' +cat <<'EOF' (* The file vc_icons.ml is automatically generated from rebuild-icons.sh * Any changes you make will be lost. *) EOF -echo # Open any modules which may use icons. echo "open Vc_connection_dlg"