3 @echo
"'make daemon' to start up doc server daemon"
4 @echo
"'make server' to start up doc server"
5 @echo
"'make clobber' to clean up directory"
8 sudo ..
/hhvm
/hhvm
-m daemon
-v
"Server.DefaultDocument=index.php" -v
"Server.SourceRoot=`pwd`"
11 sudo ..
/hhvm
/hhvm
-m server
-v
"Server.DefaultDocument=index.php"
13 DEBUGGER_CMDS
= a b c d e f g h i j k l m n o p q r step thread u v w x y z
"\&" "!"
15 # update debugger docs
17 @..
/hhvm
/hhvm
-m debug
--debug-cmd
"help start" > debugger.start
18 @..
/hhvm
/hhvm
-m debug
--debug-cmd
"help" > debugger.cmds
19 @..
/hhvm
/hhvm
-m debug \
20 $(patsubst %, --debug-cmd
"'h %'", $(DEBUGGER_CMDS
)) > debugger.refs