diff options
Diffstat (limited to 'main/quagga/texinfo.patch')
| -rw-r--r-- | main/quagga/texinfo.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/main/quagga/texinfo.patch b/main/quagga/texinfo.patch new file mode 100644 index 000000000..9f50687c6 --- /dev/null +++ b/main/quagga/texinfo.patch @@ -0,0 +1,13 @@ +--- ./doc/ipv6.texi.orig 2013-03-13 09:18:49.807751249 +0000 ++++ ./doc/ipv6.texi 2013-03-13 09:19:04.531223449 +0000 +@@ -136,8 +136,8 @@ + Default: 0 + @end deffn + +-+@deffn {Interface Command} {ipv6 nd home-agent-lifetime <0-65520>} {} +-+@deffnx {Interface Command} {no ipv6 nd home-agent-lifetime [<0-65520>]} {} ++@deffn {Interface Command} {ipv6 nd home-agent-lifetime <0-65520>} {} ++@deffnx {Interface Command} {no ipv6 nd home-agent-lifetime [<0-65520>]} {} + The value to be placed in Home Agent Option, when Home Agent config flag is set, + which indicates to hosts Home Agent Lifetime. The default value of 0 means to + place the current Router Lifetime value. |