00install-devhelp-el.patch
