diff options
Diffstat (limited to 'doc/linuxdoc-tools/PRE_BUILD')
-rwxr-xr-x | doc/linuxdoc-tools/PRE_BUILD | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/linuxdoc-tools/PRE_BUILD b/doc/linuxdoc-tools/PRE_BUILD deleted file mode 100755 index 87b8f8db93..0000000000 --- a/doc/linuxdoc-tools/PRE_BUILD +++ /dev/null @@ -1,3 +0,0 @@ -default_pre_build && -cd $SOURCE_DIRECTORY && -patch -p1 < $SCRIPT_DIRECTORY/linuxdoc-tools.patch |