diff options
Diffstat (limited to 'Build/source/texk/kpathsea/Makefile.am')
| -rw-r--r-- | Build/source/texk/kpathsea/Makefile.am | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Build/source/texk/kpathsea/Makefile.am b/Build/source/texk/kpathsea/Makefile.am index 2643ac009a4..7064ea63e6b 100644 --- a/Build/source/texk/kpathsea/Makefile.am +++ b/Build/source/texk/kpathsea/Makefile.am @@ -221,12 +221,12 @@ kpathsea.h: Makefile paths.h echo '#include <kpathsea/c-auto.h>' >>$@ echo '#include <kpathsea/paths.h>' >>$@ (cd $(srcdir) && ls -1 *.h) \ - | grep -v 'config\.h' \ - | grep -v 'paths\.h' \ - | grep -v 'kpathsea\.h' \ - | grep -v 'mingw32\.h' \ - | grep -v 'win32lib\.h' \ - | sed -e 's,^,#include <kpathsea/,' -e s',$$,>,' >>$@ + | sed -e '/^config\.h/d' \ + -e '/^paths\.h/d' \ + -e '/^kpathsea\.h/d' \ + -e '/^mingw32\.h/d' \ + -e '/^win32lib\.h/d' \ + -e 's,^,#include <kpathsea/,' -e s',$$,>,' >>$@ DISTCLEANFILES = paths.h stamp-paths kpathsea.h |