diff --git a/ef/efprassi.hlp b/ef/efprassi.hlp
deleted file mode 100755
index cb4bba69e..000000000
Binary files a/ef/efprassi.hlp and /dev/null differ
diff --git a/ve/veprassi.hlp b/ve/veprassi.hlp
deleted file mode 100755
index 951e65000..000000000
Binary files a/ve/veprassi.hlp and /dev/null differ