diff options
| author | Carl Worth <cworth@cworth.org> | 2006-09-29 16:58:51 -0700 |
|---|---|---|
| committer | Carl Worth <cworth@cworth.org> | 2006-09-29 16:58:51 -0700 |
| commit | e6575fb3c76ec2cda742e05c24958a7000d488dd (patch) | |
| tree | d9b1fd3946cd5a46c8fb4f2d1ef5c151606f6719 | |
| parent | beb778f482645650b129762a0a37400c12a04b32 (diff) | |
Fix Makefile bug preventing 'make doc' from succeeding
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 4bca815b2..821d5c910 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,4 +1,4 @@ SUBDIRS=public .PHONY: doc doc: - cd public && $(MAKE) $(AM_MAKEFLAGS) public doc + cd public && $(MAKE) $(AM_MAKEFLAGS) doc |