Change web target name to doc in various places

diff --git a/Documentation/user/compile.itely b/Documentation/user/compile.itely
index 44a9600638ffd791f83bec8c58f9022cf6a98ac9..243df4bdceeecd64cd5695d60737603e120aa0ee 100644 (file)
--- a/Documentation/user/compile.itely
+++ b/Documentation/user/compile.itely
@@ -276,7 +276,7 @@ make WEB_TARGETS=online doc
 and both @q{offline} and @q{online} targets can be generated by issuing
 
 @example
-make WEB_TARGETS="offline online" web
+make WEB_TARGETS="offline online" doc
 @end example
 
 Several targets are available to clean the documentation build and
@@ -310,7 +310,7 @@ in @file{local.make} or on the command line to the number of
 a bi-processor or dual core machine
 
 @example
-make -j3 CPU_COUNT=3 web
+make -j3 CPU_COUNT=3 doc
 @end example
 
 @noindent
@@ -321,7 +321,7 @@ LilyPond instances.
 
 If source files have changed since last documentation build, output
 files that need to be rebuilt are normally rebuilt, even if you do not
-run @code{make web-clean} first.  However, building dependencies in the
+run @code{make doc-clean} first.  However, building dependencies in the
 documentation are so complex that rebuilding of some targets may not
 be triggered as they should be; a workaround is to force rebuilding
 by touching appropriate files, e.g.
@@ -353,7 +353,7 @@ development release of LilyPond will fail to build the docs.
 
 You may build the manual without building all the @file{input/*}
 stuff: change directory, for example to @file{Documentation/user},
-issue @code{make web}, which will build documentation in a
+issue @code{make doc}, which will build documentation in a
 subdirectory @file{out-www} from the source files in current
 directory.  In this case, if you also want to browse the documentation
 in its post-processed form, change back to top directory and issue

diff --git a/GNUmakefile.in b/GNUmakefile.in
index fec79a01d2f8fb2163a76769ed836d2b156c0b4b..3c8385750bc557179d6ec843e56fec70098e7b82 100644 (file)
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -101,8 +101,8 @@ uninstall-WWW:
        $(MAKE) -C input/lsr uninstall
 
 
-# For online docs with content negotiation, issue `make web WEB_TARGETS=online'
-# For both online and offline docs, issue `make web WEB_TARGETS="offline online"'
+# For online docs with content negotiation, issue `make doc WEB_TARGETS=online'
+# For both online and offline docs, issue `make doc WEB_TARGETS="offline online"'
 WEB_TARGETS = offline
 
 WWW-post:

diff --git a/python/langdefs.py b/python/langdefs.py
index c6d608ccb84ee40259c573c760dbabeead13dbeb..eb9d08ac527cfbff0c09990e123218240e1d2048 100644 (file)
--- a/python/langdefs.py
+++ b/python/langdefs.py
@@ -65,7 +65,7 @@ de = LanguageDef ('de', 'deutsch')
 ja = LanguageDef ('ja', '日本語', enable_ly_identifier_l10n=False)
 
 # Outdated or broken translations may be disabled
-# (please run 'make web-clean' before doing that):
+# (please run 'make doc-clean' before doing that):
 #fr.enabled = False
 
 LANGUAGES = (site, fr, es, de, ja)

diff --git a/scm/to-xml.scm b/scm/to-xml.scm
index 82c563da6b33d72dffebcd559b604d13bbb05d12..7e2ba0caab794077f5d8e17b6b2ec07618f1d988 100644 (file)
--- a/scm/to-xml.scm
+++ b/scm/to-xml.scm
@@ -222,7 +222,7 @@ is then separated.
 (define-public (music-to-xml music port)
   "Dump XML-ish stuff to PORT."
 
-  ;; dtd contains # -- This confuses tex during make web.
+  ;; dtd contains # -- This confuses tex during make doc.
   ;;
   ;;  (display (dtd-header) port)
   
@@ -233,7 +233,7 @@ is then separated.
 (define-public (music-to-musicxml music port)
   "Dump MusicXML-ish stuff to PORT."
 
-  ;; dtd contains # -- This confuses tex during make web.
+  ;; dtd contains # -- This confuses tex during make doc.
   ;;
   ;;  (display (dtd-header) port)