rarias/jungle
2
0
Fork 3
Code Issues 57 Pull Requests 7 Actions Packages Projects Releases Wiki Activity

Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Conversation 1 Commits 1013 Files Changed 120 +3 -4
1 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 251103ffd3 - Show all commits

7
garlic/doc/Makefile
View File

@@ -1,9 +1,8 @@
all: execution.pdf execution.txt
%.pdf: %.ms
groff -ms -t -p -Tpdf $^ > $@
#pdfms $^ 2>&1 >$@ | sed 's/^troff: //g'
killall -HUP mupdf
groff -ms -t -Tpdf $^ > $@
#killall -HUP mupdf
%.txt: %.ms
groff -ms -t -p -Tutf8 $^ > $@
groff -ms -t -Tutf8 $^ > $@