NOTE: The current preferred location for bug reports is the GitHub issue tracker.
Bug 888 - JAVA_HTML variable should be JAVA_HOME
JAVA_HTML variable should be JAVA_HOME
Status: RESOLVED FIXED
Product: Validator.nu
Classification: Unclassified
Component: Documentation
HEAD
All All
: P2 minor
Assigned To: Nobody
http://about.validator.nu/#src
Depends on:
Blocks:
  Show dependency treegraph
 
Reported: 2011-12-19 19:45 CET by donotknow
Modified: 2011-12-20 11:41 CET (History)
2 users (show)

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description donotknow 2011-12-19 19:45:36 CET
Under the 'Source Code' section, there is a step to set the JAVA_HOME variable for Linux & Mac OS X:

"First, set the JAVA_HOME environment variable properly. export JAVA_HOME=/usr/lib/jvm/java-6-openjdk on Ubuntu or export JAVA_HTML=/Library/Java/Home on Mac OS X."

The Mac OS X variable name should be the same as the Linux variable name, the value is what should change, e.g. JAVA_HTML should be JAVA_HOME.
Comment 1 Henri Sivonen 2011-12-20 11:41:36 CET
Interesting bug caused by typing without thinking...

Thanks for the report. Fixed.