/var/dhcpd, as suggested in the Linux Filesystem Hierarchy
Standard.
#FFMANDIR = /usr/man/man5
#FFMANEXT = .5
#VARRUN = /var/run
-#VARDB = /var/dhcpd
+#VARDB = /var/state/dhcpd # see rationale in includes/cf/linux.h
#SCRIPT=linux
##--linux-1--
#FFMANDIR = /usr/man/man5
#FFMANEXT = .5
#VARRUN = /var/run
-#VARDB = /var/dhcpd
+#VARDB = /var/state/dhcpd # see rationale in includes/cf/linux.h
#SCRIPT=linux
##--linux-2.0--
#FFMANDIR = /usr/man/man5
#FFMANEXT = .5
#VARRUN = /var/run
-#VARDB = /var/dhcpd
+#VARDB = /var/state/dhcpd # see rationale in includes/cf/linux.h
#SCRIPT=linux
##--linux-2.1--
#FFMANDIR = /usr/man/man5
#FFMANEXT = .5
#VARRUN = /var/run
-#VARDB = /var/dhcpd
+#VARDB = /var/state/dhcpd # see rationale in includes/cf/linux.h
#SCRIPT=linux
##--linux-2.2--