Switch to side-by-side view
--- a/src/filters/rclaptosidman +++ b/src/filters/rclaptosidman @@ -86,7 +86,7 @@ # Delete everything from <div id="menu"> to <div id="main-page"> # This prints an additional blank line at top which does not matter sed -n -e '1,/<div id="menu">/{x;p' -e '}' \ - -e '/<div id="main-page">/,$p' < $infile + -e '/<div id="main-page">/,$p' < "$infile" # exit normally exit 0