diff options
| -rw-r--r-- | .gitignore | 12 | ||||
| -rw-r--r-- | Makefile | 37 | ||||
| -rw-r--r-- | header.php | 95 |
3 files changed, 49 insertions, 95 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..4537eb6 --- /dev/null +++ b/.gitignore @@ -0,0 +1,12 @@ +# DO NOT EDIT, this file is automatically made by `Makefile' +# +# ignore everyting +* +# but these: +!img/swoosh.png +!style.scss +!header.php.patch +!Makefile +!logo-style.scss.php +!license.txt +!css_shadow.php diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..62429bb --- /dev/null +++ b/Makefile @@ -0,0 +1,37 @@ +RM = rm -f +CP = cp +PATCH = patch +SASS = sass +PHP = php5 + +srcfiles = \ + img/swoosh.png \ + style.scss \ + header.php.patch \ + Makefile \ + logo-style.scss.php \ + license.txt \ + css_shadow.php + +all: header.php style.css .gitignore + +style.css: logo-style.scss + +%: %.patch ../twentyeleven/% + $(RM) $@ + $(CP) ../twentyeleven/$@ $@ + $(PATCH) $@ < $@.patch + +%.css: %.scss + $(SASS) $< $@ + +%: %.php + $(PHP) -f $< > $@ + +.gitignore: Makefile + echo "# DO NOT EDIT, this file is automatically made by \`Makefile'" >$@ + echo '# ' >> '$@' + echo '# ignore everyting' >> '$@' + echo '*' >> '$@' + echo '# but these:' >> '$@' + for file in $(srcfiles); do echo !"$$file" >> '$@'; done diff --git a/header.php b/header.php deleted file mode 100644 index 192b59f..0000000 --- a/header.php +++ /dev/null @@ -1,95 +0,0 @@ -<?php -/** - * The Header for our theme. - * - * Displays all of the <head> section and everything up till <div id="main"> - * - * @package WordPress - * @subpackage Twenty_Eleven - * @since Twenty Eleven 1.0 - */ -?><!DOCTYPE html> -<!--[if IE 6]> -<html id="ie6" <?php language_attributes(); ?>> -<![endif]--> -<!--[if IE 7]> -<html id="ie7" <?php language_attributes(); ?>> -<![endif]--> -<!--[if IE 8]> -<html id="ie8" <?php language_attributes(); ?>> -<![endif]--> -<!--[if !(IE 6) | !(IE 7) | !(IE 8) ]><!--> -<html <?php language_attributes(); ?>> -<!--<![endif]--> -<head> -<meta charset="<?php bloginfo( 'charset' ); ?>" /> -<meta name="viewport" content="width=device-width" /> -<title><?php - /* - * Print the <title> tag based on what is being viewed. - */ - global $page, $paged; - - wp_title( '|', true, 'right' ); - - // Add the blog name. - bloginfo( 'name' ); - - // Add the blog description for the home/front page. - $site_description = get_bloginfo( 'description', 'display' ); - if ( $site_description && ( is_home() || is_front_page() ) ) - echo " | $site_description"; - - // Add a page number if necessary: - if ( $paged >= 2 || $page >= 2 ) - echo ' | ' . sprintf( __( 'Page %s', 'twentyeleven' ), max( $paged, $page ) ); - - ?></title> -<link rel="profile" href="http://gmpg.org/xfn/11" /> -<link rel="stylesheet" type="text/css" media="all" href="<?php bloginfo( 'stylesheet_url' ); ?>" /> -<link rel="pingback" href="<?php bloginfo( 'pingback_url' ); ?>" /> -<!--[if lt IE 9]> -<script src="<?php echo get_template_directory_uri(); ?>/js/html5.js" type="text/javascript"></script> -<![endif]--> -<?php - /* We add some JavaScript to pages with the comment form - * to support sites with threaded comments (when in use). - */ - if ( is_singular() && get_option( 'thread_comments' ) ) - wp_enqueue_script( 'comment-reply' ); - - /* Always have wp_head() just before the closing </head> - * tag of your theme, or you will break many plugins, which - * generally use this hook to add elements to <head> such - * as styles, scripts, and meta tags. - */ - wp_head(); -?> -</head> - -<body <?php body_class(); ?>> -<div id="page" class="hfeed"> - <header id="branding" role="banner"> - <hgroup> - <?php $url = esc_url(home_url('/')); ?> - <h1 id="team-name" class="logo-nowhite"><a href="<?php echo $url;?>" rel="home">Kil-a-Bytes</a></h1> - <h2 class="logo-nowhite"><a href="<?php echo $url;?>">M<span class="lower">c</span>Kenzie Center for Innovation and Technology</a></h2> - <h1 id="team-number" class="logo-white"><a href="<?php echo $url;?>">1024</a></h1> - </hgroup> - - <div class="only-search with-image"> - <?php get_search_form(); ?> - </div> - - <nav id="access" role="navigation"> - <h3 class="assistive-text"><?php _e( 'Main menu', 'twentyeleven' ); ?></h3> - <?php /* Allow screen readers / text browsers to skip the navigation menu and get right to the good stuff. */ ?> - <div class="skip-link"><a class="assistive-text" href="#content" title="<?php esc_attr_e( 'Skip to primary content', 'twentyeleven' ); ?>"><?php _e( 'Skip to primary content', 'twentyeleven' ); ?></a></div> - <div class="skip-link"><a class="assistive-text" href="#secondary" title="<?php esc_attr_e( 'Skip to secondary content', 'twentyeleven' ); ?>"><?php _e( 'Skip to secondary content', 'twentyeleven' ); ?></a></div> - <?php /* Our navigation menu. If one isn't filled out, wp_nav_menu falls back to wp_page_menu. The menu assiged to the primary position is the one used. If none is assigned, the menu with the lowest ID is used. */ ?> - <?php wp_nav_menu( array( 'theme_location' => 'primary' ) ); ?> - </nav><!-- #access --> - </header><!-- #branding --> - - - <div id="main">
\ No newline at end of file |