no need to make run-onvdl


git-svn-id: svn+ssh://svn.code.sf.net/p/tei/code/trunk@13100 e5332ce4-a50f-0410-b94b-d658400b0204