doc/Makefile: Also make orgguide.html · 73875939a8 - Flintfam Git Service

Parcourir la source

doc/Makefile: Also make orgguide.html

Bastien il y a 4 ans

Parent

4779a0df5d

commit

73875939a8

1 fichiers modifiés avec 1 ajouts et 1 suppressions

Vue séparée Afficher les stats Diff

						
							+ 1
							
							- 1
						
doc/Makefile
							 
								Voir le fichier
							
				@@ -9,7 +9,7 @@ all:		$(ORG_MAKE_DOC)
			
				 info:		org orgguide
			
				-html:		org.html
			
				+html:		org.html orgguide.html
			
				 pdf:		org.pdf orgguide.pdf