Remove tools submodule, use sibling tools repo

dfreedm · dfreedm · commit e50f049fd951 · 2013-10-15T13:03:34.000-07:00
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +0,0 @@
-[submodule "tools"]
-	path = tools
-	url = https://github.com/Polymer/tools.git
diff --git a/gruntfile.js b/gruntfile.js
@@ -19,7 +19,7 @@ module.exports = function(grunt) {
           outdir: 'docs',
           linkNatives: 'true',
           tabtospace: 2,
-          themedir: 'tools/doc/themes/polymerase'
+          themedir: '../tools/doc/themes/polymerase'
         }
       }
     }
diff --git a/tools b/tools

Original file line number	Diff line number	Diff line change
`@@ -1,3 +0,0 @@`
`1`		`-[submodule "tools"]`
`2`		`- path = tools`
`3`		`- url = https://github.com/Polymer/tools.git`
Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,7 @@ module.exports = function(grunt) {`
`19`	`19`	`outdir: 'docs',`
`20`	`20`	`linkNatives: 'true',`
`21`	`21`	`tabtospace: 2,`
`22`		`- themedir: 'tools/doc/themes/polymerase'`
	`22`	`+ themedir: '../tools/doc/themes/polymerase'`
`23`	`23`	`}`
`24`	`24`	`}`
`25`	`25`	`}`