diff --git a/Makefile b/Makefile index f5c0aa98cb..5ca4f50007 100644 --- a/Makefile +++ b/Makefile @@ -39,7 +39,7 @@ NIX_DEV_MANUAL_OUT = guides all: $(NIX_DEV_MANUAL_OUT) learn_guides.html.in -$(NIX_DEV_MANUAL_OUT) learn_guides.html.in: $(NIX_DEV_MANUAL_IN) layout.tt +$(NIX_DEV_MANUAL_OUT) learn_guides.html.in: $(NIX_DEV_MANUAL_IN) layout.tt copy-nix-dev-tutorials.sh bash copy-nix-dev-tutorials.sh $(NIX_DEV_MANUAL_OUT) diff --git a/copy-nix-dev-tutorials.sh b/copy-nix-dev-tutorials.sh index 7652803301..b6d23d7109 100755 --- a/copy-nix-dev-tutorials.sh +++ b/copy-nix-dev-tutorials.sh @@ -26,8 +26,7 @@ for page in "${pages[@]}"; do echo "