diff options
-rw-r--r-- | externals/build/win/makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/externals/build/win/makefile b/externals/build/win/makefile index 94d3212c..9f41f479 100644 --- a/externals/build/win/makefile +++ b/externals/build/win/makefile @@ -20,6 +20,7 @@ clean: install-doc: @test -d $(prefix)/doc/5.reference || mkdir -p $(prefix)/doc/5.reference + cd ../doc && make all cp -r ../doc/* $(prefix)/doc/5.reference install: install-doc |