Signed-off-by: Alex A. Naanou <alex.nanou@gmail.com>
This commit is contained in:
Alex A. Naanou 2023-03-20 12:50:02 +03:00
parent 55c5844327
commit a1a5b89b0d
2 changed files with 1589 additions and 157 deletions

View File

@ -226,6 +226,7 @@ LN := cp -l
# strip docs out...
#
# XXX can we unify these???
# ....not sure how...
%-stripped.tex: %.tex
$(DOC) --strip $< \
$(DOC) --prefix M --strip \

File diff suppressed because it is too large Load Diff