re-activate the printf builtin now that src/usr.bin/printf.c has been

tweaked to work as a builtin better (ie: calls the real printf formatting
code, not sh's cut-down out1fmt() function)

bin/sh/builtins.def

@@ -35,7 +35,7 @@
 # SUCH DAMAGE.
 #
 #	@(#)builtins.def	8.4 (Berkeley) 5/4/95
-#	$Id$
+#	$Id: builtins.def,v 1.2 1996/09/01 10:19:44 peter Exp $
 
 #
 # This file lists all the builtin commands.  The first column is the name
@@ -73,7 +73,7 @@ jobscmd		jobs
 #linecmd		line
 localcmd	local
 #nlechocmd	nlecho
-#printfcmd	printf
+printfcmd	printf
 pwdcmd		pwd
 readcmd		read
 returncmd	return