From 5210d78d62d103ed2c0e868f7d37e0c0a0997509 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 6 Dec 2007 02:21:25 +0000 Subject: [PATCH] Shorter Apache types --- lib/apache.dtl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/apache.dtl b/lib/apache.dtl index 9ad396a..1c3b1ad 100644 --- a/lib/apache.dtl +++ b/lib/apache.dtl @@ -54,11 +54,11 @@ extern val directory : your_path -> ^Vhost & Location => [Vhost & !Location]; {{Set some configuration specific to a URI prefix or filesystem directory, respectively.}} -extern val serverAliasHost : your_domain_host -> [Vhost & !Location]; +extern val serverAliasHost : your_domain_host -> [Vhost]; {{Give an alternate hostname for this vhost.}} -extern val serverAlias : host -> [Vhost & !Location]; +extern val serverAlias : host -> [Vhost]; {{Like serverAliasHost, but adds an alias for the given hostname at every domain being configured.}} -extern val serverAliasDefault : [Vhost & !Location]; +extern val serverAliasDefault : [Vhost]; {{Like serverAliasDefault, but adds aliases for the domains being configured instead of any of their hosts/"subdomains".}} -- 2.20.1