Remove migrations-php.yaml in favor of copying entire directory

Author: jmikola

Makefile

@@ -6,7 +6,7 @@ STAGING_BUCKET=docs-mongodb-org-staging
 PRODUCTION_BUCKET=docs-mongodb-org-prod
 PREFIX=php-library
 
-.PHONY: help stage fake-deploy deploy
+.PHONY: help html stage fake-deploy deploy
 
 help:
 	@echo 'Targets'
@@ -18,6 +18,12 @@ help:
 	@echo 'Variables'
 	@echo '  ARGS         - Arguments to pass to mut-publish'
 
+html:
+	rm -r source/
+	mkdir source
+	cp -a build/php-library/docs/* source
+	giza make html
+
 stage:
 	mut-publish build/${GIT_BRANCH}/html ${STAGING_BUCKET} --prefix=${PREFIX} --stage ${ARGS}
 	@echo "Hosted at ${STAGING_URL}/${PREFIX}/${USER}/${GIT_BRANCH}/index.html"

config/build_conf.yaml

@@ -21,7 +21,6 @@ system:
     - 'sphinx_local.yaml'
     - 'push.yaml'
     - htaccess: ['htaccess.yaml']
-    - migrations: 'migrations-php.yaml'
 assets:
   - branch: master
     path: build/docs-tools