Subject: pkg/25975: USE_TETEX2 (mentioned in is no longer used
To: None <>
From: None <>
List: pkgsrc-bugs
Date: 06/19/2004 20:08:25
>Number:         25975
>Category:       pkg
>Synopsis:       USE_TETEX2 (mentioned in is no longer used
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    pkg-manager
>State:          open
>Class:          doc-bug
>Submitter-Id:   net
>Arrival-Date:   Sun Jun 20 02:09:00 UTC 2004
>Originator:     Jim Bernard
>Release:        pkgsrc as of Sat Jun 19 09:34:20 UTC 2004
System: any
Architecture: any
Machine: any
	The file mentions that USE_TETEX2 can be used
	to set a preference for tetex2 over tetex1.  But tetex2 is now the
	default (the tetex pkg), and USE_TETEX2 no longer appears anywhere
	(evidently it isn't even useful to set it to NO to force use of
	tetex1, since it is never referenced).

	I called it a doc-bug, since it's just a comment.

	% find /usr/pkgsrc -type f -print | xargs grep USE_TETEX

	Delete that paragraph from
	Alternatively, USE_TETEX2 could be replaced by a USE_TETEX1
	variable to force use of tetex1, but since tetex2 has been the
	default for some time, and nobody seems to have needed USE_TETEX1,
	that's probably pointless.