doc: Make pdf files depend on local stylesheet
authorKeith Packard <keithp@keithp.com>
Mon, 18 Nov 2013 20:42:38 +0000 (12:42 -0800)
committerKeith Packard <keithp@keithp.com>
Mon, 18 Nov 2013 20:42:38 +0000 (12:42 -0800)
Now that we're using our own, rebuild the docs when it changes

Signed-off-by: Keith Packard <keithp@keithp.com>

No differences found