René's URL Explorer Experiment


Title: Remove `CONTENTS.md` from `make` · Issue #2050 · UniMath/UniMath · GitHub

Open Graph Title: Remove `CONTENTS.md` from `make` · Issue #2050 · UniMath/UniMath

X Title: Remove `CONTENTS.md` from `make` · Issue #2050 · UniMath/UniMath

Description: Originally posted by @arnoudvanderleer in #2047 (comment) Currently, an invocation of make (for compiling the UniMath source files) also results in the construction of CONTENTS.md. Since this is no longer required, the rule to build this...

Open Graph Description: Originally posted by @arnoudvanderleer in #2047 (comment) Currently, an invocation of make (for compiling the UniMath source files) also results in the construction of CONTENTS.md. Since this is no...

X Description: Originally posted by @arnoudvanderleer in #2047 (comment) Currently, an invocation of make (for compiling the UniMath source files) also results in the construction of CONTENTS.md. Since this is no...

Opengraph URL: https://github.com/UniMath/UniMath/issues/2050

X: @github

direct link

Domain: patch-diff.githubusercontent.com

Hey, it has json ld scripts: 
{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Remove `CONTENTS.md` from `make`","articleBody":"_Originally posted by @arnoudvanderleer in https://github.com/UniMath/UniMath/pull/2047#discussion_r2171543792_\r\n\r\nCurrently, an invocation of `make` (for compiling the UniMath source files) also results in the construction of `CONTENTS.md`. Since this is no longer required, the rule to build this file by default should be removed.","author":{"url":"https://github.com/arnoudvanderleer","@type":"Person","name":"arnoudvanderleer"},"datePublished":"2025-06-27T10:26:07.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/2050/UniMath/issues/2050"}
route-pattern/_view_fragments/issues/show/:user_id/:repository/:id/issue_layout(.:format)
route-controllervoltron_issues_fragments
route-actionissue_layout
fetch-noncev2:70f47d32-d59f-0e2b-17ad-cf3a6faf706e
current-catalog-service-hash81bb79d38c15960b92d99bca9288a9108c7a47b18f2423d0f6438c5b7bcd2114
request-idB1C2:FC18D:147BC12:1A95576:6992A9A2
html-safe-nonce01b5a2703f1720f72dbbcb465b414f7cc28a6341b26dbf6485709a9ae593e18f
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCMUMyOkZDMThEOjE0N0JDMTI6MUE5NTU3Njo2OTkyQTlBMiIsInZpc2l0b3JfaWQiOiI5MTQ0Mzc3NDgzOTk0NTA3NjgyIiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmacd6c3e40d2c54373015e78317a882000489355623cbf211f6b2f217e1bd3bdad7
hovercard-subject-tagissue:3182285251
github-keyboard-shortcutsrepository,issues,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///voltron/issues_fragments/issue_layout
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/_view_fragments/issues/show/UniMath/UniMath/2050/issue_layout
twitter:imagehttps://opengraph.githubassets.com/461b03a32bf1e354ebb443cd2a0759d90833375ed932f94725782f5f7823894c/UniMath/UniMath/issues/2050
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/461b03a32bf1e354ebb443cd2a0759d90833375ed932f94725782f5f7823894c/UniMath/UniMath/issues/2050
og:image:altOriginally posted by @arnoudvanderleer in #2047 (comment) Currently, an invocation of make (for compiling the UniMath source files) also results in the construction of CONTENTS.md. Since this is no...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamearnoudvanderleer
hostnamegithub.com
expected-hostnamegithub.com
None42c603b9d642c4a9065a51770f75e5e27132fef0e858607f5c9cb7e422831a7b
turbo-cache-controlno-preview
go-importgithub.com/UniMath/UniMath git https://github.com/UniMath/UniMath.git
octolytics-dimension-user_id6826454
octolytics-dimension-user_loginUniMath
octolytics-dimension-repository_id17321421
octolytics-dimension-repository_nwoUniMath/UniMath
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id17321421
octolytics-dimension-repository_network_root_nwoUniMath/UniMath
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release848bc6032dcc93a9a7301dcc3f379a72ba13b96e
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://patch-diff.githubusercontent.com/UniMath/UniMath/issues/2050#start-of-content
https://patch-diff.githubusercontent.com/
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2FUniMath%2FUniMath%2Fissues%2F2050
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2FUniMath%2FUniMath%2Fissues%2F2050
Sign up https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fvoltron%2Fissues_fragments%2Fissue_layout&source=header-repo&source_repo=UniMath%2FUniMath
Reloadhttps://patch-diff.githubusercontent.com/UniMath/UniMath/issues/2050
Reloadhttps://patch-diff.githubusercontent.com/UniMath/UniMath/issues/2050
Reloadhttps://patch-diff.githubusercontent.com/UniMath/UniMath/issues/2050
UniMath https://patch-diff.githubusercontent.com/UniMath
UniMathhttps://patch-diff.githubusercontent.com/UniMath/UniMath
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2FUniMath%2FUniMath
Fork 188 https://patch-diff.githubusercontent.com/login?return_to=%2FUniMath%2FUniMath
Star 1k https://patch-diff.githubusercontent.com/login?return_to=%2FUniMath%2FUniMath
Code https://patch-diff.githubusercontent.com/UniMath/UniMath
Issues 141 https://patch-diff.githubusercontent.com/UniMath/UniMath/issues
Pull requests 11 https://patch-diff.githubusercontent.com/UniMath/UniMath/pulls
Discussions https://patch-diff.githubusercontent.com/UniMath/UniMath/discussions
Actions https://patch-diff.githubusercontent.com/UniMath/UniMath/actions
Projects 0 https://patch-diff.githubusercontent.com/UniMath/UniMath/projects
Security 0 https://patch-diff.githubusercontent.com/UniMath/UniMath/security
Insights https://patch-diff.githubusercontent.com/UniMath/UniMath/pulse
Code https://patch-diff.githubusercontent.com/UniMath/UniMath
Issues https://patch-diff.githubusercontent.com/UniMath/UniMath/issues
Pull requests https://patch-diff.githubusercontent.com/UniMath/UniMath/pulls
Discussions https://patch-diff.githubusercontent.com/UniMath/UniMath/discussions
Actions https://patch-diff.githubusercontent.com/UniMath/UniMath/actions
Projects https://patch-diff.githubusercontent.com/UniMath/UniMath/projects
Security https://patch-diff.githubusercontent.com/UniMath/UniMath/security
Insights https://patch-diff.githubusercontent.com/UniMath/UniMath/pulse
New issuehttps://patch-diff.githubusercontent.com/login?return_to=https://github.com/UniMath/UniMath/issues/2050
New issuehttps://patch-diff.githubusercontent.com/login?return_to=https://github.com/UniMath/UniMath/issues/2050
Remove CONTENTS.md from makehttps://patch-diff.githubusercontent.com/UniMath/UniMath/issues/2050#top
code change - just dohttps://github.com/UniMath/UniMath/issues?q=state%3Aopen%20label%3A%22code%20change%20-%20just%20do%22
https://github.com/arnoudvanderleer
https://github.com/arnoudvanderleer
arnoudvanderleerhttps://github.com/arnoudvanderleer
on Jun 27, 2025https://github.com/UniMath/UniMath/issues/2050#issue-3182285251
@arnoudvanderleerhttps://github.com/arnoudvanderleer
#2047 (comment)https://github.com/UniMath/UniMath/pull/2047#discussion_r2171543792
code change - just dohttps://github.com/UniMath/UniMath/issues?q=state%3Aopen%20label%3A%22code%20change%20-%20just%20do%22
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.