From a66ccbc562dbdca983fa65a55bfcbe426bcca3dc Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Fri, 23 Aug 2013 22:19:58 -0700
Subject: [PATCH] split mixin and grunt dist to be sure

---
 less/mixins.less | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/less/mixins.less b/less/mixins.less
index d4c8e01156..c5a7001566 100644
--- a/less/mixins.less
+++ b/less/mixins.less
@@ -72,11 +72,20 @@
 //
 // Heads up! v3 launched with with only `.hide-text()`, but per our pattern for
 // mixins being reused as classes with the same name, this doesn't hold up. As
-// of v3.0.1 we have added `.text-hide()` and deprecated `.hide-text()`.
+// of v3.0.1 we have added `.text-hide()` and deprecated `.hide-text()`. Note
+// that we cannot chain the mixins together in Less, so they are repeated.
 //
 // Source: https://github.com/h5bp/html5-boilerplate/commit/aa0396eae757
 
-.hide-text(),
+// Deprecated as of v3.0.1 (will be removed in v4)
+.hide-text() {
+  font: ~"0/0" a;
+  color: transparent;
+  text-shadow: none;
+  background-color: transparent;
+  border: 0;
+}
+// New mixin to use as of v3.0.1
 .text-hide() {
   font: ~"0/0" a;
   color: transparent;