diff options
Diffstat (limited to 'macros/generic/collargs/Makefile')
-rw-r--r-- | macros/generic/collargs/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/macros/generic/collargs/Makefile b/macros/generic/collargs/Makefile new file mode 100644 index 0000000000..421bcdbfc9 --- /dev/null +++ b/macros/generic/collargs/Makefile @@ -0,0 +1,8 @@ +.PRECIOUS: %.dtx + +%.dtx: %.edtx + edtx2dtx $< > $@ + +%.sty %.tex t-%.tex &: %.ins %.dtx + tex $< + sed -i -s -e 's/\\\(un\)\?expanded/\\normal\1expanded/g;' t-$*.tex |