#99053# insert new devmanual_preview page

odk/pack/copying/makefile.mk

@@ -352,6 +352,7 @@ DOCUHTMLFILES= \
     $(DESTDIR)$/index.html \
     $(DESTDIRDOCU)$/tools.html \
     $(DESTDIRDOCU)$/notsupported.html \
+    $(DESTDIRDOCU)$/devmanual_preview.html \
     $(DESTDIRDOCU)$/install.html \
     $(DESTDIREXAMPLES)$/examples.html
 
@@ -410,6 +411,10 @@ $(DESTDIRDOCU)$/notsupported.html : $(PRJ)$/docs$/notsupported.html
     +-rm -f $@ >& $(NULLDEV)
     $(MY_TEXTCOPY) $(MY_TEXTCOPY_SOURCEPRE) $? $(MY_TEXTCOPY_TARGETPRE) $@
 
+$(DESTDIRDOCU)$/devmanual_preview.html : $(PRJ)$/docs$/devmanual_preview.html
+    +-rm -f $@ >& $(NULLDEV)
+    $(MY_TEXTCOPY) $(MY_TEXTCOPY_SOURCEPRE) $? $(MY_TEXTCOPY_TARGETPRE) $@
+
 $(DESTDIRDOCU)$/install.html : $(PRJ)$/docs$/install.html
     +-rm -f $@ >& $(NULLDEV)
     $(MY_TEXTCOPY) $(MY_TEXTCOPY_SOURCEPRE) $? $(MY_TEXTCOPY_TARGETPRE) $@