欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
You have to load the mod_ssi module and set the ssi-extension:
server.modules = ( ..., "mod_ssi", ... ) ssi.extension = ( ".shtml" )
http://trac.lighttpd.net/trac/wiki/Docs%3AModSSI