diff options
| -rw-r--r-- | Master/texmf-dist/doc/plain/cweb/cwebman.dvi | bin | 135464 -> 0 bytes |
| -rw-r--r-- | Master/texmf-dist/doc/plain/cweb/cwebman.pdf | bin | 0 -> 333896 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/plain/cweb/cwebman.dvi b/Master/texmf-dist/doc/plain/cweb/cwebman.dvi Binary files differdeleted file mode 100644 index 008324b2c0f..00000000000 --- a/Master/texmf-dist/doc/plain/cweb/cwebman.dvi +++ /dev/null diff --git a/Master/texmf-dist/doc/plain/cweb/cwebman.pdf b/Master/texmf-dist/doc/plain/cweb/cwebman.pdf Binary files differnew file mode 100644 index 00000000000..6250db1a71a --- /dev/null +++ b/Master/texmf-dist/doc/plain/cweb/cwebman.pdf |