Rename files rotohsm -> ihsm

paper/Makefile

@@ -8,19 +8,19 @@ SHELL := bash
 MAKEFLAGS += --warn-undefined-variables
 MAKEFLAGS += --no-builtin-rules
 
-main_tex ?= rotohsm_paper
-brief_tex ?= rotohsm_tech_report
+main_tex ?= ihsm_paper
+brief_tex ?= ihsm_tech_report
 
 VERSION_STRING := $(shell git describe --tags --long --dirty)
 
 all: ${main_tex}.pdf ${brief_tex}.pdf
 
-%.pdf: %.tex rotohsm.bib version.tex
+%.pdf: %.tex ihsm.bib version.tex
 	pdflatex -shell-escape $<
 	biber $* 
 	pdflatex -shell-escape $<
 
-version.tex: ${main_tex}.tex ${brief_tex}.tex rotohsm.bib
+version.tex: ${main_tex}.tex ${brief_tex}.tex ihsm.bib
 	echo "${VERSION_STRING}" > $@
 
 resources/%.pdf: $(LAB_PATH)/%.ipynb