1
0
forked from GitHub/gf-rgl

Minor fix in RGL browser

This commit is contained in:
John J. Camilleri
2018-06-09 20:44:00 +02:00
parent b3eeee54ce
commit 97af158927
2 changed files with 2 additions and 1 deletions

1
doc/browse/.gitignore vendored Normal file
View File

@@ -0,0 +1 @@
tags/*.gf-tags

2
doc/browse/build-tags.sh Normal file → Executable file
View File

@@ -49,7 +49,7 @@ do
$FIND | while read -r file
do
echo " \""`echo $file | sed 's|./||;s|.gf||'`"\"," >> $index
filemtime=`$STAT "${tagsdir}/${file}-tags"` 2>/dev/null
filemtime=`$STAT "${tagsdir}/${file}-tags" 2>/dev/null`
if [ -z "$filemtime" ] || [ "$filemtime" -lt "$start" ]
then
gf --batch --quiet --tags --output-dir=${tagsdir} $file 2>/dev/null