#### # # Makefile for specific documentation artifacts not constructed in one of the # other project subdirs. # # # Make the top-level html index for the project and store the index.html file # in the top-level project dir. # MKDOCS = /users/gfisher/bin/mkdocs all: project-dir-index.html uman code project-dir-index.html: project-dir-index.me csh -c "$(MKDOCS) project-dir-index.me cp project-dir-index.html ../index.html uman: # csh -q -c "cd users-man; make ps-image-links; make" code: cd ../implementation/source/java; make print