user/print.css not being loaded

[iolsmit]

Although the file user/print.css exists it is not loaded, at least for me.

Changing (DOKU_TPL to DOKU_TPLINC) in main.php line 518 to:
if (file_exists(DOKU_TPLINC."user/print.css")){
resolved the issue for me.
The file was not found originally as the path (DOKU_TPL) wasn't correct, at least for the php function file_exists()
For the html link it works perfectly fine.

Sorry if this is not the optimal way to point this out - it's the first time I'm contributing to github - maybe a pull request would have been better (don't know yet how this actually works...)

[iolsmit]

Created a pull request:
iolsmit@cd3224c

[selfthinker]

You linked to the commit wihin the pull request. The pull request is #19.

[iolsmit]

Thanks @selfthinker, github is still new territory for me.