tools: easier browser switching

This commit is contained in:
Simon Michael 2011-06-13 19:50:10 +00:00
parent cbb0fc5c59
commit e6e7cef85c

View File

@ -16,10 +16,11 @@ BENCHEXES=hledger-0.12.1 hledger-0.13 hledger-0.14-ghc6.12.3 ledger
#BENCHEXES=hledger
# misc. tools
#VIEWHTML=open -a 'Google Chrome'
VIEWHTML=google-chrome
VIEWPS=google-chrome
VIEWPDF=google-chrome
BROWSE=google-chrome
#BROWSE=open -a 'Google Chrome'
VIEWHTML=$(BROWSE)
VIEWPS=$(BROWSE)
VIEWPDF=$(BROWSE)
PRINT=lpr
PACKAGES=\