Skip to content

Commit

Permalink
fix: make dist failure due to extractbb --version (#45)
Browse files Browse the repository at this point in the history
  • Loading branch information
tueda committed Jan 29, 2024
1 parent b32187b commit 72896c5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -2130,7 +2130,7 @@ $(build_prefix)%.log : %.tex
exit 1; \
fi; \
dep_files=; \
for f in `grep INPUT '$(build_prefix)$*.fls' | sed 's/^INPUT *//' | sed '/^kpsewhich/d' | sed 's|^\.\/||' | sort | uniq`; do \
for f in `grep INPUT '$(build_prefix)$*.fls' | sed 's/^INPUT *//' | sed '/^\(extractbb\|kpsewhich\)/d' | sed 's|^\.\/||' | sort | uniq`; do \
case $$f in \
*:*|/*|*.aux|*.lof|*.lot|*.nav|*.out|*.spl|*.toc|*.vrb|*-eps-converted-to.pdf|*.run.xml) ;; \
*) \
Expand Down

0 comments on commit 72896c5

Please sign in to comment.