dotfiles: oops, should have made it a script

.config/shell/bin/dotfiles

@@ -0,0 +1,4 @@
+#!/bin/bash
+# This is a copy of the 'dot' alias for use in other functions
+
+git --git-dir="$HOME/git/dotfiles" --work-tree="$HOME" "$@"

.config/shell/functions/dotfiles

@@ -1,6 +0,0 @@
-#!/bin/bash
-# This is a copy of the 'dot' alias, as a function, for use in other functions
-
-dotfiles() {
-   git --git-dir="$HOME/git/dotfiles" --work-tree="$HOME"
-}