diff options
Diffstat (limited to 'doc/SystemTap_Beginners_Guide/old-syncandbuild.sh')
-rwxr-xr-x | doc/SystemTap_Beginners_Guide/old-syncandbuild.sh | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/doc/SystemTap_Beginners_Guide/old-syncandbuild.sh b/doc/SystemTap_Beginners_Guide/old-syncandbuild.sh deleted file mode 100755 index e6a6c1f4..00000000 --- a/doc/SystemTap_Beginners_Guide/old-syncandbuild.sh +++ /dev/null @@ -1,25 +0,0 @@ -#!/bin/bash -# Instead of running the original makefile to build the document, run this script instead -echo -n "Please specify your build target (e.g. html, pdf, or html-single) " -read TARG -echo -n "Please specify the product you are building for (enter 1 for Fedora, 2 for RHEL) " -read PROD -echo -n "Please specify any build parameters you'd like to use (skip this step for none). " -read PARM - -if [ $PROD = 1 ]; -then - sed -i -e 's/<productname>Red Hat Enterprise Linux/<productname>Fedora/g' en-US/Book_Info.xml; - sed -i -e 's/<productnumber>5/<productnumber>10/g' en-US/Book_Info.xml; - sed -i -e 's/BRAND = RedHat/BRAND = fedora/g' Makefile; - make $PARM $TARG-en-US post - -else -sed -i -e 's/BRAND = fedora/BRAND = RedHat/g' Makefile; -make post $PARM $TARG-en-US -fi - -echo "done." -echo "Cleaning sync'd files..." -make post -echo "...done."
\ No newline at end of file |