diff options
author | Carl Worth <cworth@cworth.org> | 2006-09-29 16:58:51 -0700 |
---|---|---|
committer | Behdad Esfahbod <behdad@behdad.org> | 2006-10-31 21:15:47 -0500 |
commit | d65a8fd422effc4a943bae8d82e5531e7924f12b (patch) | |
tree | 2ab74dd94244451c083e7967698f40afa4b78103 | |
parent | 0a59ab7d553a3307bf1fb86487ef9cc0823fe625 (diff) |
Fix Makefile bug preventing 'make doc' from succeeding
(cherry picked from e6575fb3c76ec2cda742e05c24958a7000d488dd commit)
-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 |