[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