Update figure numbering

I was editing some markdown and had to insert a new figure in the middle. The problem is that this document already has an explicit figure numbering (e.g., &ldquo;Figure 5&rdquo;), so changing tens of figures felt dull. I like to run small (GNU) awk scripts for this type of tasks. # update_figures.awk { if ( match ( $ 0 , "Figure ([0-9]+)" , num )){ if ( num [ 1 ] > after ) gsub ( "Figure…