md permitted in page header search

master
Mike Gerwitz 2015-05-16 02:14:32 -04:00
parent 0665a3283e
commit a91c9e1027
1 changed files with 3 additions and 3 deletions

View File

@ -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
}