Make stable

This commit is contained in:
2026-05-16 18:37:09 +02:00
parent b50709b7c4
commit 6325a32c85
2 changed files with 2 additions and 1 deletions
+1
View File
@@ -59,6 +59,7 @@ include pub.mk
sed '1,/^---$$/d' $$entry | sed 's/^.*/+ &/' ;\ sed '1,/^---$$/d' $$entry | sed 's/^.*/+ &/' ;\
echo '' ;\ echo '' ;\
done >> $@ done >> $@
recfix $@
.dbs/requires.rec: .dbs/new.rec .dbs/requires.rec: .dbs/new.rec
recinf -d $< > $@ recinf -d $< > $@
+1 -1
View File
@@ -1,6 +1,6 @@
.PHONY: function .PHONY: function
function: ## Output a search function for .bashrc function: | db.rec ## Output a search function for .bashrc
${MAKE} --silent --touch query ${MAKE} --silent --touch query
printf '%s\n' 'lk(){' printf '%s\n' 'lk(){'
${MAKE} --silent --dry-run query | sed 's/^/\t/' ${MAKE} --silent --dry-run query | sed 's/^/\t/'