%PDF- %PDF-
Direktori : /usr/share/doc/info/html/ |
Current File : //usr/share/doc/info/html/min_002dsearch_002dlength.html |
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <html> <!-- Created by GNU Texinfo 6.8, https://www.gnu.org/software/texinfo/ --> <!-- This file redirects to the location of a node or anchor --> <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <!-- This manual is for Stand-alone GNU Info (version 6.8, 22 November 2020), a program for viewing documents in Info format (usually created from Texinfo source files). Copyright (C) 1992, 1993, 1996, 1997, 1998, 1999, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019 Free Software Foundation, Inc. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover Texts, and with no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License" in the Texinfo manual. This document is part of a collection distributed under the GNU Free Documentation License. If you want to distribute this document separately from the collection, you can do so by adding a copy of the license to the document, as described in section 6 of the license. --> <title>min-search-length (Stand-alone GNU Info 6.8)</title> <meta name="description" content="min-search-length (Stand-alone GNU Info 6.8)"> <meta name="keywords" content="min-search-length (Stand-alone GNU Info 6.8)"> <meta name="resource-type" content="document"> <meta name="distribution" content="global"> <meta name="Generator" content="texi2any"> <style type="text/css"> <!-- a.copiable-anchor {visibility: hidden; text-decoration: none; line-height: 0em} a.summary-letter {text-decoration: none} blockquote.indentedblock {margin-right: 0em} div.display {margin-left: 3.2em} div.example {margin-left: 3.2em} kbd {font-style: oblique} pre.display {font-family: inherit} pre.format {font-family: inherit} pre.menu-comment {font-family: serif} pre.menu-preformatted {font-family: serif} span.nolinebreak {white-space: nowrap} span.roman {font-family: initial; font-weight: normal} span.sansserif {font-family: sans-serif; font-weight: normal} span:hover a.copiable-anchor {visibility: visible} ul.no-bullet {list-style: none} --> </style> <meta http-equiv="Refresh" content="0; url=Variables.html#min_002dsearch_002dlength"> <meta name="viewport" content="width=device-width,initial-scale=1"> </head> <body lang="en"> <p>The node you are looking for is at <a href="Variables.html#min_002dsearch_002dlength">min-search-length</a>.</p> </body>