diff options
Diffstat (limited to 'doc/SystemTap_Beginners_Guide/Makefile')
| -rw-r--r-- | doc/SystemTap_Beginners_Guide/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/SystemTap_Beginners_Guide/Makefile b/doc/SystemTap_Beginners_Guide/Makefile index f77f047e..3dbded40 100644 --- a/doc/SystemTap_Beginners_Guide/Makefile +++ b/doc/SystemTap_Beginners_Guide/Makefile @@ -17,4 +17,6 @@ pre:: cp -a ../../testsuite en-US/extras/; post:: - rm -rf en-US/extras/testsuite
\ No newline at end of file + rm -rf en-US/extras/testsuite + sed -i -e 's/<productname>Fedora/<productname>Red Hat Enterprise Linux/g' en-US/Book_Info.xml; + sed -i -e 's/<productnumber>10/<productnumber>5/g' en-US/Book_Info.xml;
\ No newline at end of file |