polytexnic 1.10.1 → 1.10.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: '08ef6b16e688ae517db09f1ccd14da9a9861fc14d0b7576267f2704ee28e2223'
-  data.tar.gz: 1d19e497423591bf533a01c7870e93fbff311639a35584c2fce4b2eb5fc70ce2
+  metadata.gz: f125f1b4e0dc232a35eb7caa4941fc147d927ed3fa4aa18f691c902da1510545
+  data.tar.gz: 0ed473416a4b88a4491af1cbc02d5db68c904998185bc70e92a2821b4ae0e730
 SHA512:
-  metadata.gz: 6fb7f765d2eb5ef17df271b165aa628def5742333e672dd8fa599321e9e550a07af902e914768a2c90123a41ddec53a529677ee84c932d919ce7ce5c99400f50
-  data.tar.gz: d69d4ccc81b47e6098462888862813f9a1164232a09b16c473d2f7821fa3a4c24f6f1a540d03147689630c7daf5ac42ff653e6d3ee1ccdea96c6cd2fb689ea68
+  metadata.gz: 1b70edd6d6fee965e904872c1df671f1651773da7160f757aaf3cd428408e396f5d59abf6afa36b3467f4a67cbe6268d596e909865f90889f9719a72b9bad27f
+  data.tar.gz: 688a229066793aca1558d87d9f6de14780d927fca133bc8cb645df0ad7e0d20a64968bcbf195ccc44583d8b2b90d5edfd793e7226713a86d7892ab3782817af9

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    polytexnic (1.10.1)
+    polytexnic (1.10.2)
       json (= 2.3.1)
       kramdown (= 2.4.0)
       msgpack (= 1.2.10)

data/lib/polytexnic/postprocessors/html.rb

@@ -891,6 +891,18 @@ module Polytexnic
           doc.xpath('//proof').each do |node|
             node.name = 'div'
             node['class'] = 'proof'
+            proofoption = node.css('proofoption')
+            if proofoption.empty?
+              proof_label = 'Proof.'
+            else
+              proof_label = proofoption.first.content.strip
+            end
+            proofoption.remove
+            node.remove_attribute('proofoption')
+            first_paragraph = node.children.first
+            html = first_paragraph.inner_html
+            html = %(<em class="proof_label">#{proof_label}</em> ) + html
+            first_paragraph.inner_html = html
           end
         end
 

data/lib/polytexnic/preprocessors/html.rb

@@ -318,14 +318,22 @@ module Polytexnic
           end
 
           # Wrap proofs in a 'proof' element.
+          # Start with proofs that have options.
+          string.gsub! /(\\begin{proof})\[(.*?)\]/ do
+            "\\begin{xmlelement*}{proof}" +
+            "\\begin{xmlelement*}{proofoption}#{$2}" +
+            "\\end{xmlelement*}"
+          end
+          # string.gsub!(/\\begin{proof}\[.*?\]/, '')
+          # Now do optionless proofs.
           string.gsub! /\\begin{proof}/ do |s|
-            "\\begin{xmlelement*}{proof}\n#{s}"
+            "\\begin{xmlelement*}{proof}"
           end
           string.gsub! /\\end{proof}/ do |s|
             "#{s}\n\\end{xmlelement*}"
           end
-          string.gsub!(/\\begin{proof}/, '')
-          string.gsub!(/\\end{proof}/, '')
+          # string.gsub!(/\\begin{proof}/, '')
+          # string.gsub!(/\\end{proof}/, '')
 
           # Wrap asides in an 'aside' element.
           string.gsub! /\\begin{aside}/ do |s|

data/lib/polytexnic/version.rb

@@ -1,3 +1,3 @@
 module Polytexnic
-  VERSION = "1.10.1"
+  VERSION = "1.10.2"
 end

data/spec/to_html/proof_theorem_spec.rb

@@ -16,7 +16,19 @@ describe 'Polytexnic::Pipeline#to_html' do
       EOS
     end
     it { should include("Lorem ipsum.") }
-    it { should include('<div class="proof">')}
+    it { should include('<div class="proof"><p><em class="proof_label">Proof.</em> Lorem')}
+
+    context "with optional argument" do
+      let(:polytex) do <<-'EOS'
+        \chapter{Foo bar}
+
+        \begin{proof}[Simpler proof.]
+        Dolor sit amet.
+        \end{proof}
+        EOS
+      end
+      it { should include('<div class="proof"><p><em class="proof_label">Simpler proof.</em> Dolor') }
+    end
   end
 
   describe "chapter theorems" do

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: polytexnic
 version: !ruby/object:Gem::Version
-  version: 1.10.1
+  version: 1.10.2
 platform: ruby
 authors:
 - Michael Hartl
@@ -9,7 +9,7 @@ authors:
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2023-09-06 00:00:00.000000000 Z
+date: 2023-09-15 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: nokogiri
@@ -207,6 +207,7 @@ files:
 - ".pull_requests/1389652617"
 - ".pull_requests/1395697424"
 - ".pull_requests/1403381407"
+- ".quiet"
 - ".rspec"
 - Gemfile
 - Gemfile.lock