TARGETS = $(MANPAGES) $(TEXTMANPAGES)
all: $(TARGETS)
- for d in $(SUBDIRS); do \
+ for d in $(SUBDIRS_NOT_PO); do \
$(MAKE) -C $$d $@; \
if [ $$? -ne 0 ]; then exit 1; fi; \
done
rm -f Makefile
rm -f */Makefile
+# Rebuild the PO files.
+
+update-po:
+ $(MAKE) -C po all
+
# Developer documentation (in html/ subdirectory).
ifneq ($(OCAMLDOC),)