diff options
Diffstat (limited to 'Master/texmf-dist/doc/generic/expex/source/README-manual.txt')
-rw-r--r-- | Master/texmf-dist/doc/generic/expex/source/README-manual.txt | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/Master/texmf-dist/doc/generic/expex/source/README-manual.txt b/Master/texmf-dist/doc/generic/expex/source/README-manual.txt deleted file mode 100644 index 0bd07c78f60..00000000000 --- a/Master/texmf-dist/doc/generic/expex/source/README-manual.txt +++ /dev/null @@ -1,7 +0,0 @@ - -In order to produce the pdf file for the User's Manual, do: - - etex 0 - dvips 0 - ps2pdf 0.ps expex-doc.pdf - |