1 files changed, 15 insertions, 1 deletions
diff --git a/src/instool b/src/instool
index 8f72a0b..961b43e 100755
--- a/src/instool
+++ b/src/instool
@@ -20,7 +20,7 @@ shift
 
 
 case "$TYPE" in
-	(man|mo)
+	(man|mo|src)
 		;;
 	(*)
 		echo "Bad type: $TYPE" >&2
@@ -74,6 +74,20 @@ type_man() {
 	fi
 }
 
+type_src() {
+	f="$1"
+	target="$(
+		printf '%s\n' "$f" |
+		sed 's|^src/||' |
+		printf '%s/%s\n' "$DIRECTORY" "$(cat)"
+	)"
+	dir="$(dirname -- "$target")"
+	if [ ! -e "$dir" ]; then
+		mkdir -p -- "$dir"
+	fi
+	cp -P -- "$f" "$target"
+}
+
 type_mo() {
 	f="$1"
 	lang="$(basename -- "$f" .mo)"