1.1 --- a/lib/jedit/plugin/mk	Sun Aug 24 17:23:42 2008 +0200
     1.2 +++ b/lib/jedit/plugin/mk	Sun Aug 24 18:11:20 2008 +0200
     1.3 @@ -16,7 +16,7 @@
     1.4  && (
     1.5    cp *.xml *.props build/
     1.6    cd build
     1.7 -  jar cf ../../isabelle.jar isabelle/*.class *.xml *.props
     1.8 +  jar cf ../../isabelle.jar .
     1.9  )
    1.10  
    1.11  rm -rf build/