From 723028ac9ce7ce763ef773a64e15160da25690be Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Tue, 8 Nov 2022 16:59:09 +0100 Subject: [PATCH] Inline some simple parts of the document structure --- src/docs/asciidoc/prob_handbook.adoc | 32 +++++++++++++++---- src/docs/chapter/user/00_introduction.adoc | 17 ---------- .../65_Java_2-0_API/00_section_header.adoc | 4 --- .../65_Java_2-0_API/ZZ_section_footer.adoc | 2 -- .../user/ZZ_Appendix/00_section_header.adoc | 4 --- .../user/ZZ_Appendix/A_literature.adoc | 4 --- .../user/ZZ_Appendix/ZZ_section_footer.adoc | 3 -- 7 files changed, 26 insertions(+), 40 deletions(-) delete mode 100644 src/docs/chapter/user/00_introduction.adoc delete mode 100644 src/docs/chapter/user/65_Java_2-0_API/00_section_header.adoc delete mode 100644 src/docs/chapter/user/65_Java_2-0_API/ZZ_section_footer.adoc delete mode 100644 src/docs/chapter/user/ZZ_Appendix/00_section_header.adoc delete mode 100644 src/docs/chapter/user/ZZ_Appendix/A_literature.adoc delete mode 100644 src/docs/chapter/user/ZZ_Appendix/ZZ_section_footer.adoc diff --git a/src/docs/asciidoc/prob_handbook.adoc b/src/docs/asciidoc/prob_handbook.adoc index 3a91412..ae7dd54 100644 --- a/src/docs/asciidoc/prob_handbook.adoc +++ b/src/docs/asciidoc/prob_handbook.adoc @@ -12,9 +12,28 @@ Jens Bendisposto;Joy Clark;Michael Leuschel :leveloffset: +1 -include::../chapter/user/00_introduction.adoc[] +[[user-introduction]] += Introduction -include::../chapter/user/65_Java_2-0_API/00_section_header.adoc[] +ProB is a graphical animator and model checker for the B method. The ProB homepage +is at https://www3.hhu.de/stups/prob/[https://www3.hhu.de/stups/prob/], +where precompiled binaries, installation instructions and documentation +are available. + +[[important-notice]] +== Important notice + +If you find a problem with ProB or this documentation please let us +know. We are happy to receive suggestions for improvements to ProB or +the documentation. More information about submitting bug reports is +available in the <<bugs,bugs section>>. You can also post +a question in our https://groups.google.com/d/forum/prob-users[prob-users group] or send +an email to mailto:Michael.Leuschel@hhu.de[Michael Leuschel]. + +[[developer-prob-java-api]] += ProB 2.0 Java API Documentation + +:leveloffset: +1 include::../chapter/user/65_Java_2-0_API/01_introduction.adoc[] @@ -36,12 +55,13 @@ include::../chapter/user/65_Java_2-0_API/09_dependencyinjection.adoc[] include::../chapter/user/65_Java_2-0_API/10_program_synthesis.adoc[] -include::../chapter/user/65_Java_2-0_API/ZZ_section_footer.adoc[] +:leveloffset: -1 -include::../chapter/user/ZZ_Appendix/00_section_header.adoc[] +[[appendix]] += Appendix -include::../chapter/user/ZZ_Appendix/A_literature.adoc[] +== Additional Literature -include::../chapter/user/ZZ_Appendix/ZZ_section_footer.adoc[] +bibliography::[] :leveloffset: -1 diff --git a/src/docs/chapter/user/00_introduction.adoc b/src/docs/chapter/user/00_introduction.adoc deleted file mode 100644 index a967270..0000000 --- a/src/docs/chapter/user/00_introduction.adoc +++ /dev/null @@ -1,17 +0,0 @@ -[[user-introduction]] -= Introduction - -ProB is a graphical animator and model checker for the B method. The ProB homepage -is at https://www3.hhu.de/stups/prob/[https://www3.hhu.de/stups/prob/], -where precompiled binaries, installation instructions and documentation -are available. - -[[important-notice]] -== Important notice - -If you find a problem with ProB or this documentation please let us -know. We are happy to receive suggestions for improvements to ProB or -the documentation. More information about submitting bug reports is -available in the <<bugs,bugs section>>. You can also post -a question in our https://groups.google.com/d/forum/prob-users[prob-users group] or send -an email to mailto:Michael.Leuschel@hhu.de[Michael Leuschel]. diff --git a/src/docs/chapter/user/65_Java_2-0_API/00_section_header.adoc b/src/docs/chapter/user/65_Java_2-0_API/00_section_header.adoc deleted file mode 100644 index ff8c22f..0000000 --- a/src/docs/chapter/user/65_Java_2-0_API/00_section_header.adoc +++ /dev/null @@ -1,4 +0,0 @@ - -[[developer-prob-java-api]] -= ProB 2.0 Java API Documentation -:leveloffset: +1 diff --git a/src/docs/chapter/user/65_Java_2-0_API/ZZ_section_footer.adoc b/src/docs/chapter/user/65_Java_2-0_API/ZZ_section_footer.adoc deleted file mode 100644 index 909c09e..0000000 --- a/src/docs/chapter/user/65_Java_2-0_API/ZZ_section_footer.adoc +++ /dev/null @@ -1,2 +0,0 @@ - -:leveloffset: -1 diff --git a/src/docs/chapter/user/ZZ_Appendix/00_section_header.adoc b/src/docs/chapter/user/ZZ_Appendix/00_section_header.adoc deleted file mode 100644 index b5aa2d0..0000000 --- a/src/docs/chapter/user/ZZ_Appendix/00_section_header.adoc +++ /dev/null @@ -1,4 +0,0 @@ - -[[appendix]] -= Appendix -:leveloffset: +1 diff --git a/src/docs/chapter/user/ZZ_Appendix/A_literature.adoc b/src/docs/chapter/user/ZZ_Appendix/A_literature.adoc deleted file mode 100644 index a73a734..0000000 --- a/src/docs/chapter/user/ZZ_Appendix/A_literature.adoc +++ /dev/null @@ -1,4 +0,0 @@ - -= Additional Literature - -bibliography::[] diff --git a/src/docs/chapter/user/ZZ_Appendix/ZZ_section_footer.adoc b/src/docs/chapter/user/ZZ_Appendix/ZZ_section_footer.adoc deleted file mode 100644 index 47b3e87..0000000 --- a/src/docs/chapter/user/ZZ_Appendix/ZZ_section_footer.adoc +++ /dev/null @@ -1,3 +0,0 @@ - - -:leveloffset: -1 -- GitLab