Avoid writing (temporarily) into source directory.

diff --git a/doc/Makefile b/doc/Makefile
index eb9d8254196ada44f856f9d4bd0383442c318c96..dc6c451cf6624311335fadf505cd41367e7d9536 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -28,8 +28,7 @@ clean:
        @mkdir $@
 
 ../html/%.html: %.sgml | ../html
-       @linuxdoc -B html --split=0 --toc=$(TOC_LEVEL) $<
-       @mv $(@F) ../html
+       @cd ../html && linuxdoc -B html --split=0 --toc=$(TOC_LEVEL) ../doc/$<
 
 gh-pages: html
 ifdef GH_TOKEN