[tex-live] petri-nets wrongly packaged
Enrico Gregorio
enrico.gregorio at gmail.com
Mon Dec 21 12:35:28 CET 2015
The petri-nets package comes with a script pn2pdf, which is
wrongly saved in the doc subtree
The output of tlmgr info petri-nets --list follows
Ciao
Enrico
++++++++++ output +++++++++
package: petri-nets
category: Package
shortdesc: A set TeX/LaTeX packages for drawing Petri nets.
longdesc: Petri-nets offers a set of TeX/LaTeX packages about Petri nets
and related models. Three packages are available: the first allows the user
to draw Petri-nets in PostScript documents; the second defines macros
related to PBC, M-nets and B(PN) models; and a third that combines the
other two.
installed: Yes
revision: 24088
sizes: doc: 285k, run: 49k
relocatable: Yes
cat-date: 2014-10-15 19:06:54 +0200
cat-license: gpl
collection: collection-pictures
Included files, by type:
run files:
texmf-dist/tex/generic/petri-nets/pndraw.sty
texmf-dist/tex/generic/petri-nets/pndraw.tex
texmf-dist/tex/generic/petri-nets/pnets.sty
texmf-dist/tex/generic/petri-nets/pnets.tex
texmf-dist/tex/generic/petri-nets/pntext.sty
texmf-dist/tex/generic/petri-nets/pntext.tex
texmf-dist/tex/generic/petri-nets/pnversion.tex
doc files:
texmf-dist/doc/generic/petri-nets/COPYING
texmf-dist/doc/generic/petri-nets/ChangeLog
texmf-dist/doc/generic/petri-nets/README
texmf-dist/doc/generic/petri-nets/pn2pdf
texmf-dist/doc/generic/petri-nets/pndoc.pdf details="Package
documentation"
texmf-dist/doc/generic/petri-nets/pndoc.tex
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://tug.org/pipermail/tex-live/attachments/20151221/ff3a5253/attachment.html>
More information about the tex-live
mailing list