diff options
-rw-r--r-- | doc/posix_users/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/posix_users/Makefile b/doc/posix_users/Makefile index de2fdfde4e..fe57b61ea4 100644 --- a/doc/posix_users/Makefile +++ b/doc/posix_users/Makefile @@ -24,8 +24,8 @@ FILES= clock.texi cond.texi key.texi mutex.texi $(PROJECT).texi preface.texi \ INFOFILES=$(wildcard $(PROJECT) $(PROJECT)-*) info: dirs $(PROJECT) -# cp $(PROJECT) $(PROJECT)-* $(INFO_INSTALL) - cp $(PROJECT) $(INFO_INSTALL) + cp $(PROJECT) $(PROJECT)-* $(INFO_INSTALL) + #cp $(PROJECT) $(INFO_INSTALL) posix_users: $(FILES) $(MAKEINFO) $(PROJECT).texi |