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 +4 -2
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 697d4e652e - Show all commits

2
garlic/doc/.gitignore vendored Normal file
View File

@@ -0,0 +1,2 @@
*.pdf
*.txt

4
garlic/doc/Makefile
View File

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