/get-log-index.sed
sed | 19 lines | 10 code | 2 blank | 7 comment | 0 complexity | a0497dd38fe86526d7595206fbdcefc0 MD5 | raw file
- #(##defaults(target_files="TARGET_FILES", stem="STEM")##)
- # Look for missing index or glossary files.
- s/^No file \(.*\.ind\)\.$/TARGETS=\1/
- s/^No file \(.*\.[gn]ls\)\.$/TARGETS=\1/
- # Escape spaces in file names
- s/[[:space:]]/\\&/g
- # If we have a target, rewrite it to be a make dependency rule
- /^TARGETS=/{
- # Save it, rewrite to a make dependency
- h
- s!^TARGETS=!(##target_files##): !p
- # Get the old one back, add yet another make dependency
- g
- s!^TARGETS=\(.*\)!\1: (##stem##).tex!p
- }
- # Anything else is trash
- d