From a91c9e1027a2d34ba45cab23e09e1a1190ef04e5 Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Sat, 16 May 2015 02:14:32 -0400 Subject: [PATCH] md permitted in page header search --- tpl/.config | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tpl/.config b/tpl/.config index 6252676..bacd0d7 100644 --- a/tpl/.config +++ b/tpl/.config @@ -2,7 +2,7 @@ # # Basic template configuration; command-line options will override # -# Copyright (C) 2013 Mike Gerwitz +# Copyright (C) 2013, 2015 Mike Gerwitz # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -23,7 +23,7 @@ get-menu-docs() # we shall only consider ordered pages---that is, those that begin with numbers; this # allows pages to exist that are not listed in the menu paths=$( - find "$path_root/docs" -maxdepth 1 -name '[0-9][0-9]-*.pg' \ + find "$path_root/docs" -maxdepth 1 -name '[0-9][0-9]-*.??' \ -exec basename {} \; \ | sort ) @@ -31,7 +31,7 @@ get-menu-docs() for p in $paths; do # we shall consider the name of the link to be the path with the extension # and sorting prefix stripped - name="$( basename "${p%%.pg}" )" + name="$( basename "${p%%.*}" )" echo "${name#??-}" done }