diff options
Diffstat (limited to 'doc/pstoedit/PRE_BUILD')
| -rwxr-xr-x | doc/pstoedit/PRE_BUILD | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/pstoedit/PRE_BUILD b/doc/pstoedit/PRE_BUILD deleted file mode 100755 index 2c5f0964c7..0000000000 --- a/doc/pstoedit/PRE_BUILD +++ /dev/null @@ -1,5 +0,0 @@ -default_pre_build && -cd $SOURCE_DIRECTORY && -sed -i -r '3i#include <cstring>' src/cppcomp.h && -sed -i -r '3i#include <cstdlib>' src/cppcomp.h && -sed -i -r '3i#include <cstdio>' src/cppcomp.h |