simpler make clean. hooman. Oops. rm from help.

main
root 2023-11-27 12:31:03 -07:00
parent 9b049fc67a
commit 5a5279bdf5
1 changed files with 1 additions and 3 deletions

View File

@ -21,14 +21,12 @@ help:
@echo "Please use \`make <target>' where <target> is one of"
@echo " html to make standalone HTML files"
@echo " livehtml to serve the documentation with live reloading"
@echo " clean_sphinx to remove all built files in docs/"
@echo " clean to remove all build files and directories (including translations)"
@echo " gettext_build to build localisation strings for translation"
@echo " update_locale to update localisation"
@echo " build_html to build the HTML documentation"
@echo " all to clean and make all targets"
@echo " copy to copy docs/index.html to docs/build/html/index.html"
@echo " clean_po to clean gettext files in .po format"
all: clean_sphinx build_html gettext_build update_locale copy
@ -40,7 +38,7 @@ check:
done
copy:
cp docs/index.html docs/build/html/index.html
cp -p docs/index.html docs/build/html/index.html
html:
cd docs && make $(SPHINXOPTS) html