@@ -29583,7 +29583,7 @@ Web Services
@code{httpd-config-file} and @code{httpd-virtualhost} record types are
given below.
-@deffn {Data Type} httpd-configuration
+@deftp {Data Type} httpd-configuration
This data type represents the configuration for the httpd service.
@table @asis
@@ -29600,9 +29600,9 @@ Web Services
file outside of the store can also be specified through a string.
@end table
-@end deffn
+@end deftp
-@deffn {Data Type} httpd-module
+@deftp {Data Type} httpd-module
This data type represents a module for the httpd service.
@table @asis
@@ -29616,13 +29616,13 @@ Web Services
"/modules/mod_wsgi.so")}.
@end table
-@end deffn
+@end deftp
@defvar %default-httpd-modules
A default list of @code{httpd-module} objects.
@end defvar
-@deffn {Data Type} httpd-config-file
+@deftp {Data Type} httpd-config-file
This data type represents a configuration file for the httpd service.
@table @asis
@@ -29701,9 +29701,9 @@ Web Services
list.
@end table
-@end deffn
+@end deftp
-@deffn {Data Type} httpd-virtualhost
+@deftp {Data Type} httpd-virtualhost
This data type represents a virtualhost configuration block for the httpd service.
These should be added to the extra-config for the httpd-service.
@@ -29727,7 +29727,7 @@ Web Services
of strings and G-expressions.
@end table
-@end deffn
+@end deftp
@anchor{NGINX}
@subsubheading NGINX
@@ -29768,7 +29768,7 @@ Web Services
@file{/var/log/nginx/error.log}. The second location can be changed
with the @var{log-directory} configuration option.
-@deffn {Data Type} nginx-configuration
+@deftp {Data Type} nginx-configuration
This data type represents the configuration for NGinx. Some
configuration can be done through this and the other provided record
types, or alternatively, a config file can be provided.
@@ -29908,7 +29908,7 @@ Web Services
valued G-expression.
@end table
-@end deffn
+@end deftp
@anchor{nginx-server-configuration}
@deftp {Data Type} nginx-server-configuration