From e397123c70d2ad564753f8aad1e1ac82276234f0 Mon Sep 17 00:00:00 2001 From: Louie S Date: Thu, 16 Mar 2023 21:33:47 -0700 Subject: Rewrite in POSIX shell; index entries from the index pages --- src/index.rb | 30 ------------------------------ 1 file changed, 30 deletions(-) delete mode 100755 src/index.rb (limited to 'src/index.rb') diff --git a/src/index.rb b/src/index.rb deleted file mode 100755 index da58535..0000000 --- a/src/index.rb +++ /dev/null @@ -1,30 +0,0 @@ -require 'pathname' - -puts %Q[ - CREATE TABLE searchIndex(id INTEGER PRIMARY KEY, name TEXT, type TEXT, path TEXT); - CREATE UNIQUE INDEX anchor ON searchIndex (name, type, path); -] - -INSERT_SQL = %Q[ - INSERT INTO searchIndex(name, type, path) VALUES ('%s','%s','%s'); -] - -PATTERN = %r[(.+)] - -def quote(s) - s.gsub(/&/, '&').gsub(/'/, "\\'") -end - -ARGV.each do |arg| - Pathname.glob(arg) do |path| - match = path.each_line.lazy.map { |line| PATTERN.match(line) }.find { |m| m } - if match - title = match[1] - title.delete_prefix!('GNU make: ') # older docs - title.delete_suffix!(' (GNU make)') # newer docs - printf INSERT_SQL, quote(title), 'Guide', path.basename - else - $stderr.puts "#{path}: no title found" - end - end -end -- cgit