-@item @uref{../learning/index.html, Learning (split HTML)}:
-the manual is split between many HTML pages.
-@*@ @ @emph{(small download for each page)}
-
-@item @uref{../learning-big-page.html, Learning (big HTML)}:
-read this manual as one huge HTML page.
-@*@ @ @emph{(large single download, 1.5 Mb)}
-
-@item @uref{../learning.pdf, learning.pdf}:
-download as a PDF file.
-@*@ @ @emph{(large single download, 3 Mb)}
+@ifclear web_version
+ @item @uref{../learning/index.html, Learning (split HTML)}:
+@end ifclear
+@ifset web_version
+ @item @manualStableLearningSplit
+@end ifset
+ the manual is split between many HTML pages.
+ @*@ @ @emph{(small download for each page)}
+
+@ifclear web_version
+ @item @uref{../learning-big-page.html, Learning (big HTML)}:
+@end ifclear
+@ifset web_version
+ @item @manualStableLearningBig
+@end ifset
+ read this manual as one huge HTML page.
+ @*@ @ @emph{(large single download, 1.5 Mb)}
+
+@ifclear web_version
+ @item @uref{../learning.pdf, learning.pdf}:
+@end ifclear
+@ifset web_version
+ @item @manualStableLearningPdf
+@end ifset
+ download as a PDF file.
+ @*@ @ @emph{(large single download, 3 Mb)}