X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=doc%2FMakefile;h=34dc62efc1931dd9a2d9ea870c5b70677ed5ffe2;hb=433346cd4abc1a8f2b2cec50af9e1ad6a5c74822;hp=93a1423fdcb7bccb073b54dab2d261960b63d67b;hpb=ec7626096c542b2df419792517a942101a34e395;p=mkws-moved-to-github.git diff --git a/doc/Makefile b/doc/Makefile index 93a1423..34dc62e 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -14,7 +14,7 @@ uninstall: ../tools/htdocs/%: % rm -f $@ cp -p $? $@ - chmod -w $@ + chmod ugo-w $@ all: $(DOCS) @@ -45,7 +45,7 @@ all: $(DOCS) clean: rm -f $(DOCS) -distclean: clean +distclean: clean uninstall help: @echo "make [ all | install | clean | distclean ]"