brad/pghrt
1
0
Fork 0
mirror of https://github.com/Juicysteak117/pghrt.git synced 2025-12-21 15:35:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

prettified the changelog and footer to workaround lack of latexml bindings

Browse Source
This commit is contained in:
Juicysteak117
2025-10-11 22:51:26 -07:00
parent e9f042a9a6
commit 17af90de49
4 changed files with 459 additions and 449 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
soup.py
View File

@@ -122,6 +122,17 @@ for element in soup.find_all(["h2", "h3"]):
element.append(new_chain)
# replacing \DTMNow with the footer timestamp because there aren't latexml
# bindings for the datetime2 package and i want it to look prettier
# i also remove the double space because it REALLY annoys me. i already sent
# in an issue about it though. eventually i can remove that line lol
dtm = soup.body.find('span', class_='ltx_ERROR undefined')
dtm['class'] = 'undefined'
timestamp = soup.footer.div.contents[0]
postmarked = timestamp.text.replace("Generated on ", "Generated on ")
timestamp.replace_with(postmarked)
dtm.string = postmarked.replace("Generated on ", "").replace(" by ", "")
# i'm at soup
print("soup")