diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/bussproofs-extra/bpextra.sty')
-rw-r--r-- | Master/texmf-dist/doc/latex/bussproofs-extra/bpextra.sty | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/bussproofs-extra/bpextra.sty b/Master/texmf-dist/doc/latex/bussproofs-extra/bpextra.sty new file mode 100644 index 00000000000..e83935d50d6 --- /dev/null +++ b/Master/texmf-dist/doc/latex/bussproofs-extra/bpextra.sty @@ -0,0 +1,5 @@ +% Wrapper for backwards compatibility + +\RequirePackage{bussproofs-extra} +\PackageWarning{bussproofs-extra}{You've loaded bussproofs with + bpextra, but you should use bussproofs-extra instead} |