| Port details on branch 2022Q3 |
- jadetex-ptex PTeX backend for Jade, for typesetting SGML documents
- 3.13_10 japanese
 =1      3.13_10Version of this port present on the latest quarterly branch.  DEPRECATED: Not staged. See http://lists.freebsd.org/pipermail/freebsd-ports-announce/2014-May/000080.html
 This port expired on: 2014-08-31
- There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2003-07-03 14:17:56
- Last Update: 2014-07-23 12:23:55
- SVN Revision: 362668
- Also Listed In: print
- License: not specified in port
- Description:
- This is pJadeTeX, a localized TeX backend for Jade.
JadeTeX enables you to produce formatted output of documents written
with the Standard Generalized Markup Language (SGML). JadeTeX uses
tex to produce Device Independent (DVI) output; from there, you can
produce high quality hardcopy. JadeTeX also uses pdftex to produce
Adobe Portable Document Format (PDF) versions of your documents,
complete with hyperlinks, and suitable for distribution on the World
Wide Web and other media.
pJadeTeX is for pTeX, a Japanese specific TeX variant.
cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- ja-jadetex-ptex>0:japanese/jadetex-ptex
- No installation instructions:
- This port has been deleted.
- PKGNAME: ja-jadetex-ptex
- Flavors: there is no flavor information for this port.
- distinfo:
- There is no distinfo for this port.
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- ptex : japanese/ptex
- Runtime dependencies:
-
- ptex : japanese/ptex
- Library dependencies:
-
- libpng15.so : graphics/png
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
As an Amazon Associate I earn from qualifying purchases.