[Bug 452559] Review Request: tex-zfuzz - Type-checker and LaTeX style for Z spec language

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug report.

Summary: Review Request: tex-zfuzz - Type-checker and LaTeX style for Z spec language


https://bugzilla.redhat.com/show_bug.cgi?id=452559





------- Additional Comments From dwheeler at dwheeler.com  2008-07-10 17:48 EST -------
As you can see, I've submitted it.

The big problem seems to be that the submission docs are out-of-sync with the
scripts.  "make tag" seems to be no longer necessary; tagging is part of the
import.  HOWEVER, the importing does _NOT_ update the local copy, which is
weird.  You have to do "cvs update" after the import.  (You can tell this is
necessary, because after the import, when you do "cvs update" you actually get
updated files... a truly weird result!!!!)  So, instead of:
 cd F-9/
 make tag
 make build

You need to do:
 cd F-9/
 cvs up
 make build

That is bizarre; "cvs up" should be part of the import!!!!


-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.