home *** CD-ROM | disk | FTP | other *** search
- ;
- ; $VER: update_microdot 1.3
- ;
- echo "Dieses Script updatet Ihre MicroDot-Beta-Version"
- if not exists MicroDot
- echo "Starten Sie 'Update_MicroDot' in dem Verzeichnis,"
- echo "in dem sich die bisherige MicroDot-Version befindet."
- quit 5
- endif
- if not exists MicroDot.pch
- echo "Fehler: MicroDot.PCH nicht gefunden."
- quit 5
- endif
- delete MicroDot.old
- rename MicroDot MicroDot.old
- spatch -oMicroDot -pMicroDot.pch MicroDot.old
- echo "MicroDot-Patch erfolgreich."
- quit
-