# and "doclicense" (to replace @include doclicense.texi with fdl.texi).
# Unrecognized options are ignored.
# $VARIABLE expansions are done (with sh eval).
# and "doclicense" (to replace @include doclicense.texi with fdl.texi).
# Unrecognized options are ignored.
# $VARIABLE expansions are done (with sh eval).