Restore name of the main file

Author: WoWaster

Diff for: .github/workflows/main.yml

@@ -23,16 +23,12 @@ jobs:
       - name: Compile LaTeX document
         uses: xu-cheng/latex-action@v3
         with:
-          root_file: tex/main.tex
+          root_file: tex/FormalLanguageConstrainedReachabilityLectureNotes.tex
           work_in_root_file_dir: true
           latexmk_use_lualatex: true
           extra_system_packages: "font-liberation"
           latexmk_shell_escape: true
 
-      - name: Rename PDF
-        run: |
-          mv tex/main.pdf tex/FormalLanguageConstrainedReachabilityLectureNotes.pdf
-
       - name: Upload PDF file
         uses: actions/upload-artifact@v4
         with:

Diff for: .gitignore

@@ -278,4 +278,3 @@ TSWLatexianTemp*
 tex/FormalLanguageConstrainedReachabilityLectureNotes.pdf
 tex/figures/externalized/*
 !tex/figures/externalized/.gitkeep
-tex/main.pdf