diff --git a/doc/misc/htmlfontify.texi b/doc/misc/htmlfontify.texi index 2c96002fb16..accb631fe3a 100644 --- a/doc/misc/htmlfontify.texi +++ b/doc/misc/htmlfontify.texi @@ -1351,11 +1351,11 @@ Whether or not to split the index @ref{hfy-index-file} alphabetically on the first letter of each tag. Useful when the index would otherwise be large and take a long time to render or be difficult to navigate. -@item hfy-find-cmd -@vindex hfy-find-cmd -@anchor{hfy-find-cmd} +@item hfy-exclude-file-rules +@vindex hfy-exclude-file-rules +@anchor{hfy-exclude-file-rules} -The ``find'' command used to harvest a list of files to attempt to fontify. +Regular expressions to exclude files which shouldn't be fontified. @item hfy-extn @vindex hfy-extn @@ -1545,12 +1545,6 @@ but you should be able to override this. See: @ref{Customization} -@item -A copy of find (e.g., GNU find) that provides the @code{-path} predicate. - -You may be able to work around this with a suitable clever shell -command and the customization entry: @ref{hfy-find-cmd} - @item A copy of sed (e.g., GNU sed).