deblob-4.10.1-gnu

diff --git a/deblob-4.10 b/deblob-4.10
index baf8d89066360f7cc64ea7955a242319a5d0d650..e374b545663b55e7bfb5f2960551c129d9c67f9d 100755 (executable)
--- a/deblob-4.10
+++ b/deblob-4.10
@@ -341,16 +341,29 @@ grep -q Linux-libre README ||
 clean_sed '
 1 s,^Linux kernel$,GNU Linux-libre,
 2 s,^============$,===============,
-' README 'rename to GNU Linux-libre'
+' README 'renamed to GNU Linux-libre'
 
 grep -q Linux-libre Documentation/admin-guide/README.rst ||
 clean_sed '
 1,3 s,Linux kernel release.*kernel\.org.*,GNU Linux-libre <http://linux-libre.fsfla.org>,
 2 s,=$,&&,
+' Documentation/admin-guide/README.rst 'renamed to GNU Linux-libre'
+
+grep -q 'release notes for GNU Linux-libre' Documentation/admin-guide/README.rst ||
+clean_sed '
 2,5 s,Linux version [0-9.]*[0-9],GNU Linux-libre,
+' Documentation/admin-guide/README.rst 'dropped partial Linux version'
+
+grep -q 'Unix kernel' Documentation/admin-guide/README.rst ||
+clean_sed '
 1,20 s,\(operating system \)\?Unix,Unix kernel,
-/WHAT IS LINUX/i\
-WHAT IS GNU Linux-libre?\
+' Documentation/admin-guide/README.rst 'Linux is a kernel'
+
+grep -q 'What is GNU Linux-libre' Documentation/admin-guide/README.rst ||
+clean_sed '
+/What is Linux/i\
+What is GNU Linux-libre?\
+------------------------\
 \
   GNU Linux-libre is a Free version of the kernel Linux (see below),\
   suitable for use with the GNU Operating System in 100% Free\
@@ -478,7 +491,7 @@ maybe_reject_firmware_nowait(struct module *module, int uevent,\
 #endif /* _LINUX_LIBRE_FIRMWARE_H */\
 ' include/linux/firmware.h 'added non-Free firmware notification support'
 
-grep -q _LINUX_LIBRE_IHEX_FIRMWARE_H include/linux/ihex.h ||
+grep -q _LINUX_LIBRE_IHEX_H include/linux/ihex.h ||
 clean_sed '$i\
 #ifndef _LINUX_LIBRE_IHEX_H\
 #define _LINUX_LIBRE_IHEX_H\